Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Year	Author(s) [non member]	Editor(s) [non member]		Title	Type
2	MacNish, Craig (ed.)
6	Madden, Peter
2	Magirou, Vangelis
1	Maher, Michael (ed.)
1	Maibaum, T. S. E. (ed.)
1	Maibaum, T.S.E. (ed.)
10	Maier, Patrick
2	Majumdar, Rupak
2	Makinson, David
2	Malkis, Alexander
1	Maluszynski, Jan (ed.)
1	Mancarella, P. (ed.)
2	Mannila, Heikki
1	Mantel, Heiko (ed.)
1	Marché, Claude (ed.)
2	Marcinkowski, Jerzy (ed.)
1	Marek, V. W. (ed.)
2	Margaria, Tiziana (ed.)
4	Martelli, Maurizio
1	Martin, David (ed.)
2	Mascardi, Viviana
22	Matthews, Sean
		2002	Basin, David A. Matthews, Sean	[Gabbay, Dov] [Guenthner, Franz]		Logical Frameworks In: Handbook of Philosophical Logic, 89-164	Part of a Book
		2000	Matthews, Seán [Basin, David A.]			Structuring Metatheory on Inductive Definitions In: Information and Computation [162], 80-95	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
		1998	Matthews, Seán Basin, David A.			Scoped Metatheorems In: Electronic Notes in Computer Science [15], 1-14	Journal Article
		1997	Basin, David A. Matthews, Seán Viganò, Luca			Labelled Propositional Modal Logics: Theory and Practice In: Journal of Logic and Computation [7], 685-717	Journal Article
		1997	Basin, David A. Matthews, Seán Viganò, Luca	Brewka, Gerhard Habel, Christopher Nebel, Bernhard		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

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)