Thue systems as rewriting systems
Journal of Symbolic Computation
Algorithms for finding patterns in strings
Handbook of theoretical computer science (vol. A)
Inclusion is Undecidable for Pattern Languages
ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
Computing Linearizations Using Test Sets
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Decidability of Regularity and Related Properties of Ground Normal Form Languages
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Hi-index | 0.00 |