Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
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 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|