Login / Signup
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