Login / Signup
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.
Flavio Ferrarotti
Senén González
José Maria Turull Torres
Published in:
WoLLIC (2017)
Keyphrases
</>
higher order
higher order logic
high order
anti unification
natural images
pairwise
higher order relations
low order
real time
expressive power
markov random field
inference rules
finite number
lower order
finite sets
programming language
modal logic
input image
horizontal fragmentation