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 |
| | |||||||
| 5 |
|
| | ||||||
| | | Bachmair, Leo Ganzinger, Harald | Equational Reasoning in Saturation-Based Theorem Proving In: Automated Deduction: A Basis for Applications, 353-397 | | ||||
| Schmidt, Renate A. | Resolution is a Decision Procedure for Many Propositional Modal Logics In: Advances in Modal Logic, Volume 1, 189-208 | | |||||||
| | | Stuber, Jürgen | Superposition theorem proving for commutative rings In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55 | | ||||
| Weidenbach, Christoph | Rechnen in sortierter Prädikatenlogik In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | | |||||||
| | | Weidenbach, Christoph | Sorted Unification and Tree Automata In: Automated Deduction - A Basis for Applications, 291-320 | | ||||
| 37 |
|
| | ||||||
| 22 |
|
| | ||||||
| 2 |
|
| | ||||||
| 3 |
|
| | ||||||
| 2 |
|
| | ||||||
| 1 |
|
| | ||||||
| 1 |
|
| | ||||||
| 42 |
| | |||||||
| 64 |
| | |||||||
| 55 |
| | |||||||
| 64 |
| | |||||||
| 47 |
| | |||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)