Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.

Viorica Sofronie-Stokkermans

Published in: ISMVL (2004)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
model theoretic
presburger arithmetic
conjunctive queries
database
data mining
cellular automata
reasoning problems
quantifier elimination
quantified boolean formulas