Solvability of Context Equations with Two Context Variables is Decidable

• Autores: Klaus U. Schulz, Manfred Schmidt-Schauß
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 33, Nº 1, 2002, págs. 77-122
• Idioma: inglés
• Texto completo no disponible (Saber más ...)