A Family of Denominator Bounds for First Order Linear Recurrence Systems.

Mark van Hoeij Moulay A. Barkatou Johannes Middeke

Published in: CoRR (2020)

Keyphrases

linear systems
lower bound
distributed systems
management system
higher order
knowledge based systems
computer systems
machine learning
worst case
upper bound
special case
expert systems
decision trees
np hard
intelligent systems
complex systems
first order logic
retrieval systems