Confluence Criteria for Logically Constrained Rewrite Systems.

Jonas Schöpf Aart Middeldorp

Published in: CADE (2023)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem prover
theorem proving
database
artificial intelligence
software engineering
object oriented databases