ELAN from a rewriting logic point of view.

Peter Borovanský Claude Kirchner Hélène Kirchner Pierre-Etienne Moreau

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

Keyphrases

logic programming
modal logic
automated reasoning
multi valued
classical logic
asynchronous circuits
termination analysis
active rules
defeasible logic
predicate logic
rewriting systems
data sets
probability theory
set theory
formal theory