Confluence property of simple frames in dynamic term rewriting calculus

• Autores: Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 80, Nº. 6, 1997, págs. 625-645
• Idioma: inglés
• Texto completo no disponible (Saber más ...)