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
2	Lang, van der Torre, Weydert
2	Lee
2	Lee, Plaisted
1	Letz, Stenz
1	Letz, Weidenbach
1	Leven
1	Levy, Veanes
1	Lilith, Billington, Freiheit
1	Löchner, Hillenbrand
1	Lu, Wu
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

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