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
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
		2001		Strong Skolemization	Unpublished/Draft
		1998		Modal Frame Characterization by Way of Auxiliary Modalities In: Logic Journal of the IGPL [6], 875-899	Journal Article
		1996		Resolution-Based Calculi for Modal and Temporal Logics In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612	Proceedings Article
		1995		A Resolution-Based Calculus for Temporal Logics Universität des Saarlandes	Thesis - PhD thesis
		1994		How to Use Modalities and Sorts in Prolog In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378	Proceedings Article
		1993		First-Order Modal Logic Theorem Proving and Functional Simulation In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85	Proceedings Article
1	Nonnengart, Ohlbach

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