Parametric Exploration of Rewriting Logic Computations.

María Alpuente Demis Ballis Francisco Frechina Julia Sapiña

Published in: SCSS (2013)

Keyphrases

databases
modal logic
multi valued
classical logic
computational properties
proof theory
logic programming
conjunctive queries
automated reasoning
formal theory
rewriting rules
sound and complete axiomatization
artificial intelligence
logic programs
np complete
predicate logic