On permuting cut with contraction

• Autores: M. BORISAVLJEVIC
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 10, Nº 2, 2000, págs. 99-136
• Idioma: inglés
• Texto completo no disponible (Saber más ...)