Login / Signup
Predicative Lexicographic Path Orders - An Application of Term Rewriting to the Region of Primitive Recursive Functions.
Naohi Eguchi
Published in:
FOPARA (2013)
Keyphrases
</>
term rewriting
recursive functions
knuth bendix
inductive inference
theorem proving
theorem prover
operational semantics
rewrite systems
input image
multicriteria optimization
database
databases
bayesian networks
shortest path
first order logic
inference rules