(T)-formulas.

Alejandro Fernández-Margarit Francisco Félix Lara Martín

Published in: Arch. Math. Log. (2004)

Keyphrases

mathematical formulas
database
decision making
web services
search algorithm
computational complexity
relational databases
cnf formula
predicate calculus