The Diagonal Problem for Higher-Order Recursion Schemes is Decidable.

Lorenzo Clemente Pawel Parys Sylvain Salvati Igor Walukiewicz

Published in: CoRR (2016)

Keyphrases

higher order
lower order
datalog programs
transitive closure
high order
natural images
low order
markov random field
pairwise
first order logic
deductive databases
markov models
case study
real time
lambda calculus
database
computation tree logic
covariance matrix
expressive power
multiscale
neural network