Termination of Triangular Integer Loops is Decidable.

Florian Frohn Jürgen Giesl

Published in: CoRR (2019)

Keyphrases

floating point
square grid
integer valued
termination analysis
bayesian networks
search algorithm
active rules
databases
function symbols
term rewrite systems
function free horn
computation tree logic
term rewriting
type checking
datalog programs
active databases
neural network