Login / Signup
Termination Proofs for Term Rewriting Systems by Lexicographic Path Orderings Imply Multiply Recursive Derivation Lengths.
Andreas Weiermann
Published in:
Theor. Comput. Sci. (1995)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
theorem prover
term rewriting
theorem proving
shortest path
floating point
logic programming
search space
combinatorial optimization
preference models
multicriteria optimization
equational theories