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
Madden
Madden, Bundy
Madden, Bundy, Smaill
Madden, Green
Maier
Makinson, van der Torre
Malkis, Podelski, Rybalchenko
Matthews
Matthews, Basin
Matthews, Simpson
Matthews, Smaill, Basin
Meter
Meyer
Meyer, Faber, Rybalchenko
Mohr
Mukhopadhyay
Mukhopadhyay, Podelski
Müller, Niehren, Podelski
Naumann
Nielson, Seidl
Nieuwenhuis, Hillenbrand, Riazanov, Voronkov
Nivat, Podelski
Nonnengart
	2001		Strong Skolemization	Nonnengart98
	1998		Modal Frame Characterization by Way of Auxiliary Modalities In: Logic Journal of the IGPL [6], 875-899	Nonnengart1998
	1996		Resolution-Based Calculi for Modal and Temporal Logics In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612	NonnengartCADE96
	1995		A Resolution-Based Calculus for Temporal Logics Universität des Saarlandes	Nonnengart-Dissertation
	1994		How to Use Modalities and Sorts in Prolog In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378	NonnengartJELIA94
	1993		First-Order Modal Logic Theorem Proving and Functional Simulation In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85	nonnengart93a
Nonnengart, Ohlbach

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