Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 7. Library - 2. All Years - 8. Journal Short Titles
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
 | Journal Full Title / ISSN | Year | Author/Editor | Title | ||||
|---|---|---|---|---|---|---|---|---|
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| Journal of Automated Reasoning 0168-7433 | 1999 | Madden, Peter Bundy, Alan Smaill, Alan | Recursive Program Optimization Through Inductive Synthesis Proof Transformation In: Journal of Automated Reasoning [22], 65-115 | | ||||
| Journal of Automated Reasoning 0168-7433 | 1998 | Weidenbach, Christoph Meyer, Christoph Cohrs, Christian Engel, Thorsten Keen, Enno | SPASS V0.77 In: Journal of Automated Reasoning [21], 113-113 | | |||
| Journal of Automated Reasoning 0168-7433 | 1998 | Wu, Jinzhao Liu, Zhuojun | Well-Behaved Inference Rules for First-Order Theorem Proving In: Journal of Automated Reasoning [21], 381-400 | | ||||
| Journal of Automated Reasoning 0168-7433 | 1997 | Weidenbach, Christoph | SPASS Version 0.49 In: Journal of Automated Reasoning [18], 247-252 | | |||
| Journal of Automated Reasoning 0168-7433 | 1996 | Basin, David A. Walsh, Toby | A Calculus for and Termination of Rippling In: Journal of Automated Reasoning [16], 147-180 | | ||||
| Journal of Automated Reasoning 0168-7433 | 1996 | Dimopoulos, Yannis | On Computing Logic Programs In: Journal of Automated Reasoning [17], 259-289 | | |||
| Journal of Automated Reasoning 0168-7433 | 1996 | Kraan, Ina Basin, David A. Bundy, Alan | Middle-out reasoning for synthesis and induction In: Journal of Automated Reasoning [16], 113-145 | | ||||
| Journal of Automated Reasoning 0168-7433 | 1995 | Ohlbach, Hans Jürgen Weidenbach, Christoph | A Note on Assumptions about Skolem Functions In: Journal of Automated Reasoning [15], 267-275 | | |||
| Journal of Automated Reasoning 0168-7433 | 1992 | Socher-Ambrosius, Rolf | How to Avoid the Derivation of Redundant Clauses in Reasoning Systems In: Journal of Automated Reasoning [9], 325-336 | | ||||
| Journal of Automated Reasoning 0168-7433 | 1991 | Socher-Ambrosius, Rolf | Optimizing the Clausal Normal Form Transformation In: Journal of Automated Reasoning [7], 325-336 | | |||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
| | |||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)