Login / Signup
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).
María Alpuente
Demis Ballis
Francisco Frechina
Julia Sapiña
Published in:
Specification, Algebra, and Software (2014)
Keyphrases
</>
logic programming
multi valued
modal logic
predicate logic
asynchronous circuits
automated reasoning
rewrite rules
digital circuits
classical logic
presburger arithmetic
proof theory
formal theory
computational properties
real time
query rewriting
conjunctive queries
data management
database systems