Modular and incremental proofs of AC-termination

• Autores: Claude Marché, Xavier Urbain
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 38, Nº 1, 2004, págs. 873-897
• Idioma: inglés
• Texto completo no disponible (Saber más ...)