On the open problems concerning church rosser of left linear term rewrting systems

• Autores: Michio Oyamaguchi
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 87, Nº 2, 2004, págs. 290-298
• Idioma: inglés
• Texto completo no disponible (Saber más ...)