Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Konferenzveröffentlichung
Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (1996)
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum