The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems.

Sergei G. Vorobyov

Published in: Inf. Comput. (2002)

Keyphrases

management system
distributed systems
computer systems
information systems
intelligent systems
linear systems
database
databases
neural network
xml documents
higher order
data management
knowledge based systems
complex systems
first order logic