BibTeX cite key | Author/Editor | Year | | Title | Type |
Basin96c | Basin, David A.
Matthews, Seán
Viganò, Luca | 1996 | | A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book |
Basin96d | Basin, David A.
Matthews, Seán
Viganò, Luca | 1996 | | Implementing Modal and Relevance Logics in a Logical Framework
In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397 | Proceedings Article |
Basin96x | Kraan, Ina
Basin, David A.
Bundy, Alan | 1996 | | Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | Part of a Book |
Basin96y | Basin, David A.
Walsh, Toby | 1996 | | A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180 | Part of a Book |
Basin97a | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | Journal Article |
Basin97b | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | Journal Article |
Basin97c | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Journal Article |
Basin97d | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Proceedings Article |
Basin98a | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | 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 |
BasinAbdu95 | Ayari, Abdelwaheb
Basin, David A. | 1995 | | Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100 | Proceedings Article |
BasinAnderson00 | Anderson, Penny
Basin, David A. | 2000 | | Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36 | Journal Article |
BasinBundyKraanMatthews93c | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | 1993 | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | Proceedings Article |
BasinFriedrich96 | Basin, David A.
Friedrich, Stefan | 1996 | | Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | Proceedings Article |
BasinFriedrichVeritas | Basin, David A.
Friedrich, Stefan | 1999 | | Modeling a Hardware Synthesis Methodology in Isabelle
In: Formal Methods in Systems Design [15], 99-122 | Journal Article |
BasinGanzinger-01-jacm | Basin, David A.
Ganzinger, Harald | 2001 | | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | Journal Article |
BasinGanzinger96a | Basin, David A.
Ganzinger, Harald | 1996 | | Complexity Analysis Based on Ordered Resolution
In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465 | Proceedings Article |
BasinHabil1995 | Basin, David A. | 1995 | | Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes | Thesis - Habilitation thesis |
BasinKlarlund95 | Basin, David A.
Klarlund, Nils | 1995 | | Hardware Verification using Monadic Second-Order Logic
In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41 | Proceedings Article |
BasinKlarlund98 | Basin, David A.
Klarlund, Nils | 1998 | | Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288 | Journal Article |
BasinLOPSTR94 | Basin, David A. | 1994 | | Logic Frameworks for Logic Programs
In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16 | Proceedings Article |
BasinMatthews93d | Basin, David A.
Matthews, Seán | 1993 | | A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160 | Proceedings Article |
BasinMatthews96a | Basin, David A.
Matthews, Seán | 1996 | | Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849 | Journal Article |
BasinMatthews96b | Basin, David A.
Matthews, Seán | 1996 | | Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185 | Proceedings Article |
BasinMatthews98a | Matthews, Seán
Basin, David A. | 2000 | | Structuring Metatheory on Inductive Definitions
In: Information and Computation [162], 80-95 | Journal Article |
BasinMatthews98b | Matthews, Seán
Basin, David A. | 1998 | | Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14 | Journal Article |
BasinMatthewsHPL | Basin, David A.
Matthews, Sean | 2002 | | Logical Frameworks
In: Handbook of Philosophical Logic, 89-164 | Part of a Book |
BasinMatthewsVigano97c | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Proceedings Article |
BasinMeta | Basin, Giunchiglia, Kaufmann (ed.) | 1994 | | Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems | Report |
BasinTTRewrite | Basin, David A. | 1994 | | Generalized Rewriting in Type Theory
In: Journal of Information Processing and Cybernetics [30], 249-259 | Journal Article |
BasinWalsh93b | Basin, David A.
Walsh, Toby | 1993 | | Difference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122 | Proceedings Article |