The first-order theory of linear one-step rewriting is undecidable

Authors:
Ralf Treinen
Affiliations:
Univ. de Paris-Sud, Orsay, France
Venue:
Theoretical Computer Science - Special issue on rewriting techniques and applications
Year:
1998

On the Theory of One-Step Rewriting in Trace Monoids

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Weakly Regular Relations and Applications

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
The Existential Fragment of the One-Step Parallel Rewriting Theory

RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications

Hi-index	0.00