Higher-Order LCTRSs and Their Termination.

Liye Guo Cynthia Kop

Published in: ESOP (2) (2024)

Keyphrases

higher order
natural images
pairwise
high order
low order
lower order
term rewriting
markov random field
lambda calculus
markov models
special case
relational databases
rewrite systems
artificial intelligence
theorem proving
preprocessing
decision making
anti unification