On the Decidability of Termination for Polynomial Loops.

Florian Frohn Marcel Hark Jürgen Giesl

Published in: CoRR (2019)

Keyphrases

type checking
term rewrite systems
description logics
query answering
knowledge base
computer vision
multiscale
low order
decision procedures
rewrite rules
data sets
artificial intelligence
information systems
genetic algorithm
term rewriting
rewrite systems
information retrieval