Confluence of Logically Constrained Rewrite Systems Revisited.

Jonas Schöpf Fabian Mitterwallner Aart Middeldorp

Published in: CoRR (2024)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem prover
database
object oriented
artificial intelligence
information systems
spatial information