Narrowing and Rewriting Logic: from Foundations to Applications.

Santiago Escobar José Meseguer Prasanna Thati

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

Keyphrases

logic programming
artificial intelligence
classical logic
computational properties
modal logic
logical framework
digital circuits
formal theory
rewriting rules
rewriting systems