Confluence of Logically Constrained Rewrite Systems Revisited.

Jonas Schöpf Fabian Mitterwallner Aart Middeldorp

Published in: IJCAR (2) (2024)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
theorem prover
database
data structure
software engineering
data flow
operational semantics