Login / Signup
Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms.
Alexander Bentkamp
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
higher order
pairwise
social networks
markov random field
natural images
real time
shortest path
conditional random fields
high order
operational semantics