Non-elementary Speedups between Different Versions of Tableaux.

Matthias Baaz Christian G. Fermüller

Published in: TABLEAUX (1995)

Keyphrases

orders of magnitude
parallel processing
modal logic
multiple versions
functional dependencies
decision procedures
database
real world
computer vision
multimedia
school children
machine learning
data structure
video sequences
artificial neural networks
automated reasoning