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
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
Nonnengart, Ohlbach, Gabbay
Nonnengart, Ohlbach, Szalas
Nonnengart, Rock, Weidenbach
Nonnengart, Szalas
Nonnengart, Weidenbach
Ohlbach
Ohlbach, Herzig
Ohlbach, Koehler
Ohlbach, Schmidt
Ohlbach, Schmidt, Hustadt
Ohlbach, Siekmann
Ohlbach, Weidenbach
Pacholski, Podelski
Piskac
Plaisted
Pnueli, Podelski, Rybalchenko
Podelski
Podelski (ed.)

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