The Undecidability of Associativity and Commutativity Analysis

• Autores: Arthur Charlesworth
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 24, Nº 5, 2002, págs. 554-565
• Idioma: inglés
• Texto completo no disponible (Saber más ...)