Joachim F. Schreiber

According to our database, Joachim F. Schreiber authored at least 6 papers between 1978 and 2019.

Collaborative distances:

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

2019

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren, 2. unveränderte Auflage.

Joachim F. Schreiber

Utz, ISBN: 978-3-8316-8376-5, 2019

1996

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren.

Joachim F. Schreiber

PhD thesis, 1996

1989

Linear paramodulation modulo equality

Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber

Forschungsberichte, TU Munich, 1989

Horn Equational Theories and Paramodulation.

Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber

J. Autom. Reason., 1989

1978

Strategies for the synthesis of algorithms.

Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber

Proceedings of the Programmiersprachen, 1978

A Study in the Application of Theorem Proving.

David C. Luckham, Jorge J. Morales, Joachim F. Schreiber

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978