A second-order formulation of non-termination.

Fred Mesnard Étienne Payet

Published in: Inf. Process. Lett. (2015)

Keyphrases

higher order
neural network
artificial intelligence
high order
rewrite systems
database
web services
optimization procedure
mixed integer