Login / Signup
Size-based termination of higher-order rewriting.
Frédéric Blanqui
Published in:
CoRR (2018)
Keyphrases
</>
higher order
natural images
markov random field
high order
pairwise
fixed size
website
termination analysis
data structure
data sets
xml documents
conditional random fields
neural network
query rewriting
term rewriting
lambda calculus
real time