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

Published in: RTA (1996)

Keyphrases

datalog programs
higher order
sufficient conditions
post processing
theoretical framework
computational model
neural network
theoretical basis
first order logic
propositional theories