Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]
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 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 3 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 8 |
| | ||||||
| | 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 | 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 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
| 1 |
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)