Synchronous Products of Rewrite Systems.

Óscar Martín Alberto Verdejo Narciso Martí-Oliet

Published in: ATVA (2016)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem proving
databases
information systems
database
object oriented