# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| Baader, Franz |
| |
9 |
| |
1 |
| Bachem, A. (ed.) |
| |
20 |
| |
1 |
| Bachmair, Leo (ed.) |
| |
1 |
| |
3 |
| Backes, Werner |
| |
3 |
| |
1 |
| Balbiani, Philippe (ed.) |
| |
1 |
| |
1 |
| Ball, Thomas (ed.) |
| |
2 |
| |
1 |
| Baral, C. (ed.) |
| |
2 |
| |
1 |
| Barnett, Richard |
| |
1 |
| |
14 |
| Barth, Peter |
| |
54 |
| |
| | 2002 | Basin, David A.
Matthews, Sean | | Logical Frameworks
In: Handbook of Philosophical Logic, 89-164 | Part of a Book | |
| | 2001 | [Ayari, Abdelwaheb]
Basin, David A. | | A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520 | Journal Article | |
| | 2001 | [Basin, David A.]
Ganzinger, Harald | | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | Journal Article | |
| | 2000 | [Anderson, Penny]
Basin, David A. | | Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36 | Journal Article | |
| | 2000 | Matthews, Seán
[Basin, David A.] | | Structuring Metatheory on Inductive Definitions
In: Information and Computation [162], 80-95 | Journal Article | |
| | 1999 | Basin, David A.
Krieg-Brückner, Bernd | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Part of a Book | |
| | 1999 | Basin, David A.
Friedrich, Stefan | | Modeling a Hardware Synthesis Methodology in Isabelle
In: Formal Methods in Systems Design [15], 99-122 | Journal Article | |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | Proceedings Article | |
| | 1998 | Basin, David A.
[Klarlund, Nils] | | Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288 | Journal Article | |
| | 1998 | [Basin, David A.]
Matthews, Seán
[Viganò, Luca] | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | Journal Article | |
| | 1998 | [Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Proceedings Article | |
| | 1998 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Journal Article | |