A Dependency Pair Framework for Relative Termination of Term Rewriting.

Jan-Christoph Kassing Grigory Vartanyan Jürgen Giesl

Published in: CoRR (2024)

Keyphrases

term rewriting
main contribution
rewrite systems
theoretical framework
theorem proving
theorem prover
operational semantics
artificial intelligence
database
learning algorithm
cooperative