Rewriting logic: roadmap and bibliography.

Narciso Martí-Oliet José Meseguer

Published in: Theor. Comput. Sci. (2002)

Keyphrases

classical logic
logic programming
termination analysis
automated reasoning
active rules
digital circuits
predicate logic
rewrite rules
asynchronous circuits
neural network
query processing
nonmonotonic logics
deontic logic
regular path queries
proof theory
rewriting systems