| 2007 |
|---|
| 15 | EE | Reinhold Letz,
Gernot Stenz:
The Disconnection Tableau Calculus.
J. Autom. Reasoning 38(1-3): 79-126 (2007) |
| 2005 |
|---|
| 14 | EE | Philipp Correll,
Gernot Stenz:
Proof Output and Transformation for Disconnection Tableaux.
TABLEAUX 2005: 312-317 |
| 13 | EE | Gernot Stenz:
Unit Propagation in a Tableau Framework.
TABLEAUX 2005: 338-342 |
| 2004 |
|---|
| 12 | EE | Reinhold Letz,
Gernot Stenz:
Generalised Handling of Variables in Disconnection Tableaux.
IJCAR 2004: 289-306 |
| 2003 |
|---|
| 11 | EE | Reinhold Letz,
Gernot Stenz:
Universal Variables in Disconnection Tableaux.
TABLEAUX 2003: 117-133 |
| 2002 |
|---|
| 10 | EE | Reinhold Letz,
Gernot Stenz:
Integration of Equality Reasoning into the Disconnection Calculus.
TABLEAUX 2002: 176-190 |
| 9 | EE | Gernot Stenz:
DCTP 1.2 - System Abstract.
TABLEAUX 2002: 335-340 |
| 2001 |
|---|
| 8 | EE | Reinhold Letz,
Gernot Stenz:
DCTP - A Disconnection Calculus Theorem Prover - System Abstract.
IJCAR 2001: 381-385 |
| 7 | EE | Reinhold Letz,
Gernot Stenz:
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.
LPAR 2001: 142-156 |
| 6 | | Reinhold Letz,
Gernot Stenz:
Model Elimination and Connection Tableau Procedures.
Handbook of Automated Reasoning 2001: 2015-2114 |
| 2000 |
|---|
| 5 | EE | Gernot Stenz,
Andreas Wolf:
Scheduling Methods for Parallel Automated Theorem Proving.
Canadian Conference on AI 2000: 254-266 |
| 4 | | Gernot Stenz,
Andreas Wolf:
E-SETHEO: An Automated3 Theorem Prover.
TABLEAUX 2000: 436-440 |
| 1999 |
|---|
| 3 | | Gernot Stenz,
Andreas Wolf:
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.
Australian Joint Conference on Artificial Intelligence 1999: 231-243 |
| 2 | | Gernot Stenz,
Andreas Wolf:
Strategy Selection by Genetic Programming.
FLAIRS Conference 1999: 346-350 |
| 1 | EE | Gernot Stenz,
Wolfgang Ahrendt,
Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
J. UCS 5(3): 113-134 (1999) |
