Polynomial Loops: Beyond Termination.

Marcel Hark Florian Frohn Jürgen Giesl

Published in: LPAR (2020)

Keyphrases

term rewrite systems
low order
database
neural network
artificial intelligence
computer vision
metadata
higher order
low degree
polynomial hierarchy
term rewriting
algebraic geometry
rewrite systems