A Dependency Pair Framework for Relative Termination of Term Rewriting.

Jan-Christoph Kassing Grigory Vartanyan Jürgen Giesl

Published in: IJCAR (2) (2024)

Keyphrases

term rewriting
main contribution
rewrite systems
theorem proving
neural network
data sets
machine learning
reinforcement learning
pairwise
operational semantics