Konferenzveröffentlichung

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Hung, Dang Van ; Kapur, Deepak (2017)
Inferring Secrets by Guided Experiments.
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings.
doi: 10.1007/978-3-319-67729-3_16
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
Hrsg.: Kapur, Deepak (1992)
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
doi: 10.1007/3-540-55602-8_219
Konferenzveröffentlichung, Bibliographie