Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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		Title	Type
3	Madden
1	Madden, Bundy
1	Madden, Bundy, Smaill
1	Madden, Green
6	Maier
2	Makinson, van der Torre
2	Malkis, Podelski, Rybalchenko
5	Matthews
		1997		A 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
		1997		Extending a logical framework with a modal connective for validity In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514	Proceedings Article
		1996		Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239	Proceedings Article
		1994		A Theory and its Metatheory in $FS_0$ In: What is a logical system?, 329-354	Part of a Book
		1992		Reflection in a Logical System In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183	Proceedings Article
2	Matthews, Basin
1	Matthews, Simpson
1	Matthews, Smaill, Basin
1	Meter
2	Meyer
1	Meyer, Faber, Rybalchenko
1	Mohr
1	Mukhopadhyay
5	Mukhopadhyay, Podelski
3	Müller, Niehren, Podelski
1	Naumann
1	Nielson, Seidl
1	Nieuwenhuis, Hillenbrand, Riazanov, Voronkov
1	Nivat, Podelski
6	Nonnengart
1	Nonnengart, Ohlbach
1	Nonnengart, Ohlbach, Gabbay

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