Old and New Benchmarks for Relative Termination of String Rewrite Systems.

Dieter Hofbauer Johannes Waldmann

Published in: CoRR (2023)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
data structure
theorem prover
database
web services
database systems
regular expressions