Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 5. Year - 8. Counting Publications
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
| # | Y |  | Author/Editor | Title | |||||
|---|---|---|---|---|---|---|---|---|---|
| 1 |
| | |||||||
| 2 |
| | |||||||
| 16 |
| | |||||||
| 43 |
| | |||||||
| 41 |
| | |||||||
| 37 |
| | |||||||
| 36 |
| | |||||||
| 39 |
| | |||||||
| 58 |
| | |||||||
| 48 |
| | |||||||
| 61 |
| | |||||||
| 73 |
| | |||||||
| 42 |
| | |||||||
| 64 |
| | |||||||
| 55 |
| | |||||||
| 64 |
| | |||||||
| 47 |
| | |||||||
| 26 |
| | |||||||
| 4 |
|
| | ||||||
| 17 |
|
| | ||||||
| 4 |
|
| | ||||||
| | | Gabbay, Dov M. Ohlbach, Hans Jürgen | Quantifier Elimination in Second-Order Predicate Logic In: South African Computer Journal [7], 35-43 | | ||||
| Ohlbach, Hans Jürgen | Logic Engineering: Konstruktion von Logiken In: KI [3], 34-38 | | |||||||
| | | Socher-Ambrosius, Rolf | How to Avoid the Derivation of Redundant Clauses in Reasoning Systems In: Journal of Automated Reasoning [9], 325-336 | | ||||
| Waldmann, Uwe | Semantics of Order-Sorted Specifications In: Theoretical Computer Science [94], 1-35 | | |||||||
| 1 |
|
| | ||||||
| 26 |
| | |||||||
| 2 |
| | |||||||
| 1 |
| | |||||||
| 782 |
| | |||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)