A BDD-Representation for the Logic of Equality and Uninterpreted Functions.

Jaco van de Pol Olga Tveretina

Published in: MFCS (2005)

Keyphrases

multi valued
binary decision diagrams
relation algebra
logical representation
defeasible logic
image representation
modal logic
boolean functions
automated reasoning
predicate calculus
logical framework
decision diagrams
predicate logic
classical logic
database
representation language
genetic algorithm