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
Ohlbach
	1996		SCAN-Elimination of Predicate Quantifiers In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165	Ohlbach96-CADE-13
	1995		Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination	Ohlbach95b
	1995		Clause Killer Transformations	Ohlbach95a
	1993		Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26	Ohlbach93a
	1993		Optimized Translation of Multi Modal Logic into Predicate Logic In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264	OhlbachLPAR93
	1993		Thema der Antrittsvorlesung: Transformation logischer Systeme Universität des Saarlandes	OhlbachHabil1993
	1993		Translation Methods for Non-Classical Logics: An Overview In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90	Ohlbach93c
	1992		Logic Engineering: Konstruktion von Logiken In: KI [3], 34-38	Ohlbach92a
	1991		Semantics Based Translation Methods for Modal Logics In: Journal of Logic and Computation [1], 691-746	Ohlbach91a
	1988		A Resolution Calculus for Modal Logics Universität Kaiserslautern	Ohlbach88
Ohlbach, Herzig
Ohlbach, Koehler
Ohlbach, Schmidt
Ohlbach, Schmidt, Hustadt
Ohlbach, Siekmann
Ohlbach, Weidenbach
Pacholski, Podelski
Piskac
Plaisted
Pnueli, Podelski, Rybalchenko
Podelski
Podelski (ed.)
Podelski, Ball, Rajamani
Podelski, Charatonik, Müller
Podelski, Rybalchenko
Podelski, Rybalchenko, Cook
Podelski, Schaefer, Wagner
Podelski, Smolka
Podelski, Wagner

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