Back to Results
First PageMeta Content
Theoretical computer science / Logic / Mathematical logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Nqthm / Rewrite order / Symbol


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨
Add to Reading List

Document Date: 2011-06-16 09:07:59

Open Document

File Size: 335,48 KB

Share Result on Facebook
UPDATE