Termination of Order-Sorted Rewriting with Non-minimal Signatures

• Autores: Y. Kawabe, N. Ishii
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 81, Nº 8, 1998, págs. 839-845
• Idioma: inglés
• Texto completo no disponible (Saber más ...)