Joachim F. Schreiber

Publication Activity (10 Years)

Years Active: 1978-1989
Publications (10 Years): 0

Bundeswehr University Munich, Neubiberg (Munich), Germany (PHD)

Education History

Bundeswehr University Munich, Neubiberg (Munich), Germany

PHD

Publications

Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
Linear Paramodulation modulo Equality. GWAI (1989)
Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
Horn Equational Theories and Paramodulation. J. Autom. Reason. 5 (3) (1989)
David C. Luckham, Jorge J. Morales, Joachim F. Schreiber
A Study in the Application of Theorem Proving. AISB/GI (ECAI) (1978)
Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber
Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen (1978)