Semantics of Higher-Order Recursion Schemes.

Jirí Adámek Stefan Milius Jiri Velebil

Published in: CALCO (2009)

Keyphrases

higher order
higher order logic
deductive databases
high order
model theoretic
lower order
natural images
logic programming
markov random field
pairwise
complex objects
conceptual model
formal semantics
logical framework
speech acts
conditional random fields
relational databases
bayesian networks