Joachim F. Schreiber

1989
4		Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Linear Paramodulation modulo Equality. GWAI 1989: 107-116
3		Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Horn Equational Theories and Paramodulation. J. Autom. Reasoning 5(3): 309-337 (1989)
1978
2		David C. Luckham, Jorge J. Morales, Joachim F. Schreiber: A Study in the Application of Theorem Proving. AISB/GI (ECAI) 1978: 176-188
1		Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber: Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen 1978: 97-109

Coauthor Index

1	Wolfgang Bibel	[1]
2	Ulrich Furbach	[1] [3] [4]
3	Steffen Hölldobler	[3] [4]
4	David C. Luckham	[2]
5	Jorge J. Morales	[2]

Colors in the list of coauthors