Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
9 |
| |||||||||
1 |
| |||||||||
20 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
14 |
| |||||||||
54 |
| |||||||||
2002 | Basin, David A. Matthews, Sean | [Gabbay, Dov] [Guenthner, Franz] | 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. Friedrich, Stefan | Modeling a Hardware Synthesis Methodology in Isabelle In: Formal Methods in Systems Design [15], 99-122 | Journal Article | |||||||
1999 | Basin, David A. Krieg-Brückner, Bernd | [Astesiano, Egidio] [Kreowski, H.-J.] [Krieg-Brückner, B.] | Formalization of the Development Process In: Algebraic foundations of systems specification, 521-562 | Part of a Book | ||||||
1998 | [Abdelwaheb, Ayari] [Basin, David A.] Podelski, Andreas | Nielsen, Mogens Thomas, Wolfgang | 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. [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 | Basin, David A. Matthews, Seán Viganò, Luca | Natural Deduction for Non-Classical Logics In: Studia Logica [60], 119-160 | Journal Article | |||||||
1998 | [Basin, David A.] Matthews, Seán [Viganò, Luca] | Ginzburg, Jonathan Khasidashvili, Zurab Vogel, Carl Levy, Jean-Jacques Vallduvi, Enric | 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 |