A Logic for Rewriting Strategies.

Richard B. Kieburtz

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

logic programming
special case
multi valued
proof theory
bayesian networks
data model
conjunctive queries
modal logic
automated reasoning
digital circuits
predicate logic
rewrite rules