Login / Signup
A Second-Order Formulation of Non-Termination.
Fred Mesnard
Étienne Payet
Published in:
CoRR (2014)
Keyphrases
</>
higher order
databases
rewrite systems
real time
data sets
information retrieval
image processing
multiscale
high order
semidefinite programming
set theoretic
term rewriting