TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 59.

Wasser, Nathan and Hähnle, Reiner and Bubel, Richard
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 167-189, DOI: 10.1007/978-3-319-49812-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6],
[Book Section]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 383-413, DOI: 10.1007/978-3-319-49812-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11],
[Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Deductive Software Verification - The KeY Book - From Theory to Practice.
Springer, In: Lecture Notes in Computer Science, 10001, ISBN 978-3-319-49811-9,
DOI: 10.1007/978-3-319-49812-6,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6],
[Book]

Beckert, Bernhard and Hähnle, Reiner and Hentschel, Martin and Schmitt, Peter H.
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16],
[Book Section]

Bubel, Richard and Hähnle, Reiner
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
KeY-Hoare.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 571-589, DOI: 10.1007/978-3-319-49812-6₁₇,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_17],
[Book Section]

Grahl, Daniel and Bubel, Richard and Mostowski, Wojciech and Schmitt, Peter H. and Ulbrich, Mattias and Weiß, Benjamin
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Modular Specification and Verification.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 289-351, DOI: 10.1007/978-3-319-49812-6₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9],
[Book Section]

Ji, Ran and Bubel, Richard
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Program Transformation and Compilation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 473-492, DOI: 10.1007/978-3-319-49812-6₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_14],
[Book Section]

Hähnle, Reiner
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Quo Vadis Formal Verification?
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 1-19, DOI: 10.1007/978-3-319-49812-6₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_1],
[Book Section]

Schmitt, Peter H. and Bubel, Richard
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Theories.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 149-166, DOI: 10.1007/978-3-319-49812-6₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_5],
[Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Bruns, Daniel and Bubel, Richard and Gladisch, Christoph and Grebing, Sarah and Hähnle, Reiner and Hentschel, Martin and Klebanov, Vladimir and Mostowski, Wojciech and Scheben, Christoph and Schmitt, Peter and Ulbrich, Mattias
Giannakopoulou, Dimitra and Kroening, Daniel (eds.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: Post-Conference Proceedings VSTTE 2014, Springer, In: LNCS, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner (2014):
Reasoning and Verification: State of the Art and Current Trends.
In: IEEE Intelligent Systems, pp. 20-29, 29, (1), DOI: 10.1109/MIS.2014.3,
[Online-Edition: https://doi.org/10.1109/MIS.2014.3],
[Article]

Hähnle, Reiner and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H.
Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
Springer, In: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, In: Lecture Notes in Computer Science, 7542, DOI: 10.1007/978-3-642-35887-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6],
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner (eds.) (2010):
Special Issue on Tests and Proofs.
Springer-Verlag, 45, [Conference or Workshop Item]

Maingaud, Séverine and Balat, Vincent and Bubel, Richard and Hähnle, Reiner and Miquel, Alexandre
Beckert, Bernhard and Marché, Claude (eds.) (2010):
Specifying Imperative ML-like Programs Using Dynamic Logic.
In: Post-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France, Springer-Verlag, In: Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers, In: LNCS, 6528, DOI: 10.1007/978-3-642-18070-5_9,
[Online-Edition: https://doi.org/10.1007/978-3-642-18070-5_9],
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner (2010):
Tests and Proofs - Preface of the Special Issue.
In: J. Autom. Reasoning, pp. 327-329, 45, (4), DOI: 10.1007/s10817-010-9173-2,
[Online-Edition: https://doi.org/10.1007/s10817-010-9173-2],
[Article]

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner
Beckert, Bernhard and Marché, Claude (eds.) (2010):
Verification of Variable Software: an Experience Report.
In: Pre-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner (eds.) (2008):
Proc. Tests and Proofs, 2nd International Conference (TAP), Prato, Italy.
Springer-Verlag, In: LNCS, 4966, [Book]

Bubel, Richard and Hähnle, Reiner and Schmitt, Peter
Beckert, Bernhard (ed.) (2008):
Specification Predicates with Explicit Dependency Information.
In: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia, CEUR Workshop Proceedings, 372, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner (eds.) (2008):
Tests and Proofs: Papers presented at the Second International Conference TAP 2008, Prato, Italy.
University of Koblenz-Landau, Faculty of Informatics, In: Reports of the Faculty of Informatics, [Book]

Beckert, Bernhard and Giese, Martin and Hähnle, Reiner and Klebanov, Vladimir and Rümmer, Philipp and Schlager, Steffen and Schmitt, Peter
Pfenning, Frank (ed.) (2007):
The KeY System 1.0 (Deduction Component).
In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, Springer-Verlag, In: LNCS, 4603, [Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Bonsangue, Marcello and Johnsen, Einar Broch (eds.) (2007):
KeY: A Formal Method for Object-Oriented Systems.
In: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), Springer-Verlag, In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, In: LNCS, 4468, DOI: 10.1007/978-3-540-72952-5_2,
[Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2],
[Conference or Workshop Item]

Hähnle, Reiner
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2007):
A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 1--18, [Book Section]

Bubel, Richard
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2007):
The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 569-587, [Book Section]

Larsson, Daniel and Hähnle, Reiner
Beckert, Bernhard (ed.) (2007):
Symbolic Fault Injection.
In: Proc. 4th International Verification Workshop (Verify) in connection with CADE-21 Bremen, Germany, CEUR Workshop Proceedings, 259, [Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter
de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and de Roever, Willem (eds.) (2007):
Verifying Object-Oriented Programs with KeY: a Tutorial.
In: Post Conf. Proc. 5th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, 4709, ISBN 978-3-540-74791-8,
DOI: 10.1007/978-3-540-74792-5_4,
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (2006):
Integrating Object-Oriented Design and Deductive Verification of Software.
In: Fourth IEEE Intl. Conference on Software Engineering and Formal Methods (SEFM), Pune, India, IEEE Computer Society, In: Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006, DOI: 10.1109/SEFM.2006.25,
[Online-Edition: https://doi.org/10.1109/SEFM.2006.25],
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Hoare, Tony and Smith, Douglas and Green, Cordell and Ranise, Silvio and Tinelli, Cesare and Ball, Thomas and Rajamani, Sriram (2006):
Intelligent Systems and Formal Methods in Software Engineering.
In: IEEE Intelligent Systems, pp. 71-81, 21, (6), DOI: 10.1109/MIS.2006.117,
[Online-Edition: https://doi.org/10.1109/MIS.2006.117],
[Article]

Bubel, Richard and Hähnle, Reiner
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 295--315, [Book Section]

Wallenburg, Angela
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 453--480, [Book Section]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Verification of Object-Oriented Software: The KeY Approach.
Springer-Verlag, In: LNCS, 4334, [Book]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter H.
de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P. (eds.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
Springer, In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, In: Lecture Notes in Computer Science, 4709, DOI: 10.1007/978-3-540-74792-5₄,
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4],
[Conference or Workshop Item]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter (2005):
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, p. 32, 4, (1), DOI: 0.1007/s10270-004-0058-x,
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x],
[Article]

Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Roth, Andreas and Rümmer, Philipp and Schlager, Steffen (2004):
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, pp. 17--53, 98, (1), [Article]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Schmitt, Peter H.
Kutsche, Ralf-Detlef and Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Springer, In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, In: Lecture Notes in Computer Science, 2306, DOI: 10.1007/3-540-45923-5₂₃,
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_23],
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Manya, Felip (2000):
The 2-SAT Problem of Regular Signed CNF Formulas.
In: Proc. 30th International Symposium on Multiple-Valued Logics, Portland/OR, USA, IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
(2000/4), [Report]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: In Proc. Java Card Workshop, Cannes, France, {INRIA} technical report, [Conference or Workshop Item]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter
Ojeda-Aciego, Manuel and de Guzmán, Inma P. and Brewka, Gerhard and Pereira, Luís Moniz (eds.) (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: Proc. 8th European Workshop on Logics in AI (JELIA), Springer-Verlag, In: LNCS, 1919, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Manya, Felip
Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and Viganò, Luca (eds.) (2000):
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction, Kluwer, Dordrecht, pp. 61--82, [Book Section]

Hähnle, Reiner and Beckert, Bernhard
Murray, Neil V. (ed.) (1999):
Proof Confluent Tabelau Calculi (Tutorial).
In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Saratoga Springs/NY, USA, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Manyà, Felip (1999):
Transformations between Signed and Classical Clause Logic.
In: Proc. 29th International Symposium on Multiple-Valued Logics, Freiburg, Germany, IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner
Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 11--41, [Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter
Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 97--116, [Book Section]

Beckert, Bernhard and Hähnle, Reiner and Escalada-Imaz, Gonzalo (1998):
Simplification of Many-Valued Logic Formulas Using Anti-Links.
In: Journal of Logic and Computation, pp. 569--588, 8, (4), [Article]

Ramesh, Anavai and Beckert, Bernhard and Hähnle, Reiner and Murray, Neil V. (1997):
Fast Subsumption Checks Using Anti-Links.
In: Journal of Automated Reasoning, pp. 47--84, 18, (1), [Article]

Beckert, Bernhard and Hähnle, Reiner and Escalada-Imaz, Gonzalo (1997):
Simplification of Many-Valued Logic Formulas Using Anti-Links.
(11/97), [Report]

Beckert, Bernhard and Hähnle, Reiner and Geiß, Karla and Oel, Peter and Pape, Christian and Sulzmann, Martin (1996):
The Many-Valued Tableau-Based Theorem Prover 3-TAP, Version 4.0.
(3/96), [Report]

Beckert, Bernhard and Hähnle, Reiner (1996):
Proving Compiler Correctness with Evolving Algebra Specifications.
(4/96), [Report]

Beckert, Bernhard and Hähnle, Reiner and Oel, Peter and Sulzmann, Martin (1996):
The Tableau-Based Theorem Prover (TaP).
In: Proc. second international conference of COST Action 15 ``Many-Valued Logics for Computer Science Aplications'', Barcelona, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Oel, Peter and Sulzmann, Martin
McRobbie, Michael and Slaney, John (eds.) (1996):
The Tableau-Based Theorem Prover TaP, Version 4.0.
In: Proc. 13th Conference on Automated Deduction, New Brunswick/NJ, USA, Springer-Verlag, In: LNCS, 1104, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner
Kleine Büning, Hans (ed.) (1995):
Deduction by Combining Semantic Tableaux and Integer Programming.
In: Selected Papers from Computer Science Logic, {CSL}'95, Paderborn, Germany, Springer-Verlag, In: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, In: LNCS, 1092, DOI: 10.1007/3-540-61377-3_31,
[Online-Edition: https://doi.org/10.1007/3-540-61377-3_31],
[Conference or Workshop Item]

Ramesh, Anavai and Murray, Neil V. and Beckert, Bernhard and Hähnle, Reiner (1995):
Fast Subsumption Checks Using Anti-Links.
(24/95), [Report]

Hähnle, Reiner and Beckert, Bernhard and Gerberding, Stefan (1994):
The Many-Valued Tableau-Based Theorem Prover TAP.
(30/94), [Report]

Beckert, Bernhard and Hähnle, Reiner and Ramesh, Anavai and Murray, Neil
Pfenning, Frank (ed.) (1994):
On Anti-Links.
In: Proc. 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine, Springer-Verlag, In: LNCS, 822, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter H.
Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele (eds.) (1993):
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Springer, In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, In: Lecture Notes in Computer Science, 713, DOI: 10.1007/BFb0022559,
[Online-Edition: https://doi.org/10.1007/BFb0022559],
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele (eds.) (1993):
The even more liberalized delta-rule in free variable semantic tableaux.
In: Proceedings of the third Kurt Gödel Colloquium KGC'93, Brno, Czech Republic, Springer-Verlag, In: LNCS, 713, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner
Kapur, Deepak (ed.) (1992):
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
In: Proceedings of Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Springer-Verlag, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: LNCS, 607, [Online-Edition: https://doi.org/10.1007/3-540-55602-8_188],
[Conference or Workshop Item]

Beckert, Bernhard and Gerberding, Stefan and Hähnle, Reiner and Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Many-Valued Tableau-Based Theorem Prover TaP.
In: Proc. 11th Conference on Automated Deduction, Albany/NY, Springer-Verlag, In: LNCS, 607, [Conference or Workshop Item]

Beckert, Bernhard and Gerberding, Stefan and Hähnle, Reiner and Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Springer, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: Lecture Notes in Computer Science, 607, DOI: 10.1007/3-540-55602-8₂₁₉,
[Online-Edition: https://doi.org/10.1007/3-540-55602-8_219],
[Conference or Workshop Item]

This list was generated on Sat Jun 15 00:17:39 2019 CEST.