Polymorphic Higher-order Termination.

Lukasz Czajka Cynthia Kop

Published in: CoRR (2019)

Keyphrases

higher order
type checking
natural images
pairwise
markov random field
conditional random fields
high order
rewrite systems
markov models
low order
lower order
term rewriting
active rules
artificial intelligence
expert systems
three dimensional
social networks
databases