|
Search the dblp DataBase
Joachim F. Schreiber:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David C. Luckham, Jorge J. Morales, Joachim F. Schreiber
A Study in the Application of Theorem Proving. [Citation Graph (0, 0)][DBLP] AISB/GI (ECAI), 1978, pp:176-188 [Conf]
- Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
Linear Paramodulation modulo Equality. [Citation Graph (0, 0)][DBLP] GWAI, 1989, pp:107-116 [Conf]
- Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber
Strategies for the synthesis of algorithms. [Citation Graph (0, 0)][DBLP] Fachtagung über Programmiersprachen, 1978, pp:97-109 [Conf]
- Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
Horn Equational Theories and Paramodulation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:3, pp:309-337 [Journal]
Search in 0.001secs, Finished in 0.001secs
|