On Second-Order Monadic Monoidal and Groupoidal Quantifiers

Juha Kontinen Heribert Vollmer

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

higher order
deductive databases
datalog queries
first order logic
datalog programs
equational theories
high order
natural language
data sets
databases
image segmentation
similarity measure
search algorithm
relational databases
fourth order