Cut-elimination and Redundancy-elimination by Resolution

• Autores: Alexander Leitsch, Matthias Baaz
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 29, Nº 2, 2000, págs. 149-176
• Idioma: inglés
• DOI: 10.1006/jsco.1999.0359
• Texto completo no disponible (Saber más ...)