The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable.

Sergei G. Vorobyov

Published in: RTA (1997)

Keyphrases

higher order
linear systems
distributed systems
intelligent systems
data sets
expert systems
management system
sufficient conditions
theoretical framework
complex systems
artificial intelligence
building blocks
computational models
topics covered include