Domino Fibonacci Tableaux.

Naiomi T. Cameron Kendra Killpatrick

Published in: Electron. J. Comb. (2006)

Keyphrases

modal logic
functional dependencies
decision procedures
relational databases
information extraction
object oriented
natural language processing
orders of magnitude
automated reasoning