MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Hide details for Matthews, SeanMatthews, Sean
2002Basin, David A.
Matthews, Sean		Logical Frameworks
In: Handbook of Philosophical Logic, 89-164		Part of a Book
2000Matthews, 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]		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[Basin, David A.]
Matthews, Seán
[Viganò, Luca]		Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263		Journal Article
1998Basin, David A.
Matthews, Seán
Viganò, Luca		Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160		Journal Article
1998Matthews, Seán
Basin, David A.		Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14		Journal Article
1997Basin, David A.
Matthews, Seán
Viganò, Luca		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
1997Matthews, SeánA practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320		Proceedings Article

Next Page