Login / Signup
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.
Gilles Dowek
Gaspard Férey
Jean-Pierre Jouannaud
Jiaxiang Liu
Published in:
Math. Struct. Comput. Sci. (2022)
Keyphrases
</>
higher order
pairwise
low order
high order
natural images
closed form
markov random field
linear systems
neural network
markov models
artificial intelligence
theoretical framework
conditional random fields
hidden markov models
image segmentation
information systems
query rewriting
database
design theory