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

Published in: Theor. Comput. Sci. (1998)

Keyphrases

presburger arithmetic
quantifier elimination
higher order
datalog programs
theoretical basis
theoretical framework
database
linear systems
sufficient conditions
queries using views
databases
computational model
first order logic
closed form
probability theory
general theory
post processing
functional programming