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 | 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 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|