Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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	BibTeX cite key
Lang, van der Torre, Weydert
Lee
Lee, Plaisted
Letz, Stenz
Letz, Weidenbach
Leven
Levy, Veanes
Lilith, Billington, Freiheit
Löchner, Hillenbrand
Lu, Wu
Madden
Madden, Bundy
Madden, Bundy, Smaill
Madden, Green
Maier
Makinson, van der Torre
Malkis, Podelski, Rybalchenko
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	Matthews97a
	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	Matthews97b
	1996		Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239	Matthews96b
	1994		A Theory and its Metatheory in $FS_0$ In: What is a logical system?, 329-354	Matthews94b
	1992		Reflection in a Logical System In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183	Matthews92a
Matthews, Basin
Matthews, Simpson
Matthews, Smaill, Basin
Meter
Meyer
Meyer, Faber, Rybalchenko
Mohr

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