Termination of Polynomial Loops.

Florian Frohn Marcel Hark Jürgen Giesl

Published in: SAS (2020)

Keyphrases

term rewrite systems
real time
databases
genetic algorithm
artificial intelligence
bayesian networks
computational complexity
low order
rewrite systems