Linear Termination over N is Undecidable.

Fabian Mitterwallner Aart Middeldorp René Thiemann

Published in: CoRR (2023)

Keyphrases

data sets
np complete
artificial intelligence
database systems
linear model
rewrite systems