An effective characterization of the alternation hierarchy in two-variable logic

Andreas Krebs Howard Straubing

Published in: CoRR (2012)

Keyphrases

high quality
database
databases
information retrieval
similarity measure
probability distribution
logic programming
computationally efficient