Reduction to First Degree in Quantificational S5.

Michael J. Carroll

Published in: J. Symb. Log. (1979)

Keyphrases

real time
propositional logic
reduction method
database
real world
computer vision
website
decision trees
multiresolution
significant improvement