Axel Präcklein

According to our database1, Axel Präcklein authored at least 5 papers between 1991 and 1996.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Using Tactics to Reformulate Formulae for Resolution Theorem Proving.
Ann. Math. Artif. Intell., 1996

1995
Reformulating Resolution Problems by Tactics.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1992
Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving.
PhD thesis, 1992

1991
Reduction Rules for Resolution-Based Systems.
Artif. Intell., 1991

Proof Transformation with Built-in Equality Predicate.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991


  Loading...