Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
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 | Author(s) [non member] | Editor(s) [non member] | Title | Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 6 |
| | ||||||||
| 22 |
| | ||||||||
| 1 |
| | ||||||||
| 6 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 3 |
| | ||||||||
| 3 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 33 |
| | ||||||||
| | 2006 | Hillenbrand, Thomas Topic, Dalibor Weidenbach, Christoph | [Ahrendt, Wolfgang] Baumgartner, Peter de Nivelle, Hans | Sudokus as Logical Puzzles In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article | | |||
| 2002 | Weidenbach, Christoph Brahm, Uwe Hillenbrand, Thomas Keen, Enno Theobalt, Christian Topić, Dalibor | [Voronkov, Andrei] |  | SPASS Version 2.0 In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Proceedings Article | | ||||
| | 2001 | Afshordel, Bijan Hillenbrand, Thomas Weidenbach, Christoph | [Nieuwenhuis, Robert] [Voronkov, Andrei] | | First-Order Atom Definitions Extended In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Proceedings Article | | ||
| 2001 | Nonnengart, Andreas Weidenbach, Christoph | [Robinson, Alan] [Voronkov, Andrei] | Computing small clause normal forms In: Handbook of Automated Reasoning, 335-367 | Part of a Book | | |||||
| | 2001 | Weidenbach, Christoph | [Robinson, Alan] [Voronkov, Andrei] | Combining Superposition, Sorts and Splitting In: Handbook of Automated Reasoning, 1965-2013 | Part of a Book | | |||
| 2000 | Weidenbach, Christoph | Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät | Thesis - Habilitation thesis | | ||||||
| | 1999 | Weidenbach, Christoph | | SPASS V0.95TPTP In: Journal of Automated Reasoning [23], 21-21 | Journal Article | | |||
| 1999 | Weidenbach, Christoph Afshordel, Bijan Brahm, Uwe Cohrs, Christian Engel, Thorsten Keen, Enno Theobalt, Christian Topić, Dalibor | Ganzinger, Harald | System Description: SPASS Version 1.0.0 In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | | |||||
| | 1999 | Weidenbach, Christoph | Ganzinger, Harald | Towards an Automatic Analysis of Security Protocols in First-Order Logic In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382 | Proceedings Article | | |||
| 1998 | Hustadt, Ullrich Schmidt, Renate A. Weidenbach, Christoph | [de Swart, Harrie] | Optimised Functional Translation and Resolution In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37 | Proceedings Article | | |||||
| | 1998 | [Jacquemard, Florent] Meyer, Christoph Weidenbach, Christoph | [Nipkow, Tobias] | Unification in Extensions of Shallow Equational Theories In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article | | |||
| 1998 | [Letz, Reinhold] Weidenbach, Christoph | Paradigmen und Perspektiven der automatischen Deduktion In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | Journal Article | | ||||||
| | 1998 | Nonnengart, Andreas [Rock, Georg] Weidenbach, Christoph | [Kirchner, Claude] [Kirchner, Hélène] | On Generating Small Clause Normal Forms In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | | |||
| 1998 | Weidenbach, Christoph | [Bibel, Wolfgang] [Schmitt, Peter H.] | Sorted Unification and Tree Automata In: Automated Deduction - A Basis for Applications, 291-320 | Part of a Book | | |||||
| | 1998 | Weidenbach, Christoph | [Fiedler, Herbert] [Gorny, Peter] [Grass, Werner] Hölldobler, Steffen Hotz, Günter [Kerner, I. O.] Reischuk, Rüdiger | Rechnen in sortierter Prädikatenlogik In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Part of a Book | | |||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)