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
1	Naumann
1	Nielson, Seidl
1	Nieuwenhuis, Hillenbrand, Riazanov, Voronkov
1	Nivat, Podelski
6	Nonnengart
1	Nonnengart, Ohlbach
1	Nonnengart, Ohlbach, Gabbay
1	Nonnengart, Ohlbach, Szalas
1	Nonnengart, Rock, Weidenbach
1	Nonnengart, Szalas
1	Nonnengart, Weidenbach
10	Ohlbach
		1996		SCAN-Elimination of Predicate Quantifiers In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165	Proceedings Article
		1995		Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination	Unpublished/Draft
		1995		Clause Killer Transformations	Unpublished/Draft
		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	Proceedings Article
		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	Proceedings Article
		1993		Thema der Antrittsvorlesung: Transformation logischer Systeme Universität des Saarlandes	Thesis - Habilitation thesis
		1993		Translation Methods for Non-Classical Logics: An Overview In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90	Journal Article
		1992		Logic Engineering: Konstruktion von Logiken In: KI [3], 34-38	Journal Article
		1991		Semantics Based Translation Methods for Modal Logics In: Journal of Logic and Computation [1], 691-746	Journal Article
		1988		A Resolution Calculus for Modal Logics Universität Kaiserslautern	Thesis - PhD thesis
1	Ohlbach, Herzig
1	Ohlbach, Koehler
1	Ohlbach, Schmidt
2	Ohlbach, Schmidt, Hustadt
1	Ohlbach, Siekmann
1	Ohlbach, Weidenbach
1	Pacholski, Podelski
1	Piskac

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