Confluence problems for trace rewriting systems
Information and Computation
The home marking problem and some related concepts
Acta Cybernetica
Prefix Languages of Church-Rosser Languages
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
A Normal Form for Church-Rosser Language Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Loops of Superexponential Lengths in One-Rule String Rewriting
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Decision Problems for Semi-Thue Systems with a Few Rules
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The context-splittable normal form for Church--Rosser language systems
Information and Computation - RTA 2001
Computer algebra handbook
String rewriting and homology of monoids
Mathematical Structures in Computer Science
Decision problems for semi-Thue systems with a few rules
Theoretical Computer Science - Insightful theory
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Regular languages are church-rosser congruential
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 0.00 |