Deutsch

Pape, Christian ; Hähnle, Reiner
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1997)
Restart Tableaux with Selection Function.
Konferenzveröffentlichung, Bibliographie

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

Tassart, Guy ; Iturrioz, Luisa ; Klement, Erich Peter ; Mundici, Daniele ; Prade, Henri ; Schmitt, Peter ; Hähnle, Reiner (1995)
COST Action 15: Many-Valued Logics for Computer Science Applications.
In: Computational Logic, 2 (2)
Artikel, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings.
doi: 10.1007/BFb0022559
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Konferenzveröffentlichung, Bibliographie