Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Seán
Last name:	Matthews
DBLP:	42/4035
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 16  

Select a publication
Show	Title	Venue	Rating	Date
	David A. Basin, Seán Matthews. Structuring Metatheory on Inductive Definitions.	Inf. Comput. 2000, Volume 162	(0)	2000
	David A. Basin, Seán Matthews. Scoped metatheorems.	Electr. Notes Theor. Comput. Sci. 1998, Volume 15	(0)	1998
	David A. Basin, Seán Matthews, Luca Viganò. Labelled Modal Logics: Quantifiers.	Journal of Logic, Language and Information 1998, Volume 7	(0)	1998
	David A. Basin, Seán Matthews, Luca Viganò. Natural Deduction for Non-Classical Logics.	Studia Logica 1998, Volume 60	(0)	1998
	Seán Matthews. A Practical Implementation of Simple Consequence Relations Using Inductive Definitions.	Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings 1997	(0)	1997
	David A. Basin, Seán Matthews, Luca Viganò. A New Method for Bounding the Complexity of Modal Logics.	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997	(0)	1997
	David A. Basin, Seán Matthews, Luca Viganò. Labelled Quantified Modal Logics.	KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings 1997	(0)	1997
	Seán Matthews. Extending a Logical Framework with a Modal Connective for Validity.	Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings 1997	(0)	1997
	David A. Basin, Seán Matthews, Luca Viganò. Labelled Propositional Modal Logics: Theory and Practice.	J. Log. Comput. 1997, Volume 7	(0)	1997
	David A. Basin, Seán Matthews. Structuring Metatheory on Inductive Definitions.	Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings 1996	(0)	1996

Your query returned 16 matches in the database.