Rewriting logic bibliography by topic: 1990-2011.

Narciso Martí-Oliet Miguel Palomino Alberto Verdejo

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

logic programming
automated reasoning
topic models
classical logic
conjunctive queries
modal logic
rewrite rules
database
multi valued
computational properties
asynchronous circuits
deontic logic
rewriting systems
proof theory
predicate logic
multi document summarization
databases