dblp.uni-trier.dewww.uni-trier.de

Seán Matthews

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
16 David A. Basin, Seán Matthews: Structuring Metatheory on Inductive Definitions. Inf. Comput. 162(1-2): 80-95 (2000)
1998
15EEDavid A. Basin, Seán Matthews: Scoped metatheorems. Electr. Notes Theor. Comput. Sci. 15: (1998)
14 David A. Basin, Seán Matthews, Luca Viganò: Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information 7(3): 237-263 (1998)
13 David A. Basin, Seán Matthews, Luca Viganò: Natural Deduction for Non-Classical Logics. Studia Logica 60(1): 119-160 (1998)
1997
12 Seán Matthews: A Practical Implementation of Simple Consequence Relations Using Inductive Definitions. CADE 1997: 306-320
11 David A. Basin, Seán Matthews, Luca Viganò: Labelled Quantified Modal Logics. KI 1997: 171-182
10 David A. Basin, Seán Matthews, Luca Viganò: A New Method for Bounding the Complexity of Modal Logics. Kurt Gödel Colloquium 1997: 89-102
9 Seán Matthews: Extending a Logical Framework with a Modal Connective for Validity. TACS 1997: 491-514
8 David A. Basin, Seán Matthews, Luca Viganò: Labelled Propositional Modal Logics: Theory and Practice. J. Log. Comput. 7(6): 685-717 (1997)
1996
7 David A. Basin, Seán Matthews: Structuring Metatheory on Inductive Definitions. CADE 1996: 171-185
6 Seán Matthews: Implementing FS0 in Isabelle: Adding Structure at the Metalevel. DISCO 1996: 228-239
5 David A. Basin, Seán Matthews, Luca Viganò: A Topography of Labelled Modal Logics. Frontiers of Combining Systems (FroCos) 1996: 75-92
4 David A. Basin, Seán Matthews, Luca Viganò: Implementing Modal and Relevance Logics in a Logical Framework. KR 1996: 386-397
3 David A. Basin, Seán Matthews: Adding Metatheoretic Facilities to First-Order Theories. J. Log. Comput. 6(6): 835-849 (1996)
1993
2 David A. Basin, Seán Matthews: A Conservative Extension of First-order Logic and Its Application to Theorem Proving. FSTTCS 1993: 151-160
1 David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171

Coauthor Index

1David A. Basin [1] [2] [3] [4] [5] [7] [8] [10] [11] [13] [14] [15] [16]
2Alan Bundy [1]
3Ina Kraan [1]
4Luca Viganò [4] [5] [8] [10] [11] [13] [14]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)