Axel Präcklein

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Manfred Kerber, Axel Präcklein
Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. 18 (2-4) (1996)
Manfred Kerber, Axel Präcklein
Reformulating Resolution Problems by Tactics. WOCFAI (1995)
Christoph Lingenfelder, Axel Präcklein
Proof Transformation with Built-in Equality Predicate. IJCAI (1991)
Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein
Reduction Rules for Resolution-Based Systems. Artif. Intell. 50 (2) (1991)