%0 Journal Article %1 journals/tcs/Treinen98 %A Treinen, Ralf %D 1998 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 179-190 %T The First-Order Theory of Linear One-Step Rewriting is Undecidable. %U http://dblp.uni-trier.de/db/journals/tcs/tcs208.html#Treinen98 %V 208

@article{journals/tcs/Treinen98, added-at = {2003-11-19T00:00:00.000+0100}, author = {Treinen, Ralf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2888f298df764be42524eb239c122b472/dblp}, ee = {http://dx.doi.org/10.1016/S0304-3975(98)00083-8}, interhash = {a45c51f1814019b9625e368ca14114fa}, intrahash = {888f298df764be42524eb239c122b472}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {179-190}, timestamp = {2016-02-02T10:03:17.000+0100}, title = {The First-Order Theory of Linear One-Step Rewriting is Undecidable.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs208.html#Treinen98}, volume = 208, year = 1998 }