An Abstract Way to Define Rewriting Logic.

Marc Aiguier Diane Bahrami Delphine Longuet

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

Keyphrases

modal logic
propositional dynamic logic
genetic algorithm
classical logic
active rules
predicate logic
database
real time
data sets
database systems
low level
logic programming
deontic logic
dynamic logic
natural deduction
termination analysis