Jörn Richts

According to our database, Jörn Richts authored at least 8 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Effiziente Entscheidungsverfahren zur E-Unifikation.

Jörn Richts

PhD thesis, 2000

1999

UNIMOK: A System for Combining Equational Unification Algorithm.

Stephan Kepser, Jörn Richts

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

Optimisation Techniques for Combining Constraint Solvers.

Stephan Kepser, Jörn Richts

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1996

Die Beweisentwicklungsumgebung Omega-MKRP.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Inform. Forsch. Entwickl., 1996

1994

Planning Mathematical Proofs with Methods.

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn

J. Inf. Process. Cybern., 1994

Adapting Methods to Novel Tasks in Proof Planning.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

KEIM: A Toolkit for Automated Deduction.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994