Decidability of Regularity and Related Properties of Ground Normal Form Languages

ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1 

• Type: Conference
• Year: 1992
• Where: CTRS
• Authors: Gregory Kucherov, Mohamed Tajine
• Keywords: CTRS 1992, Term Rewriting Systems, Theoretical Computer Science