Author:
Furbach Ulrich,Hölldobler Steffen,Schreiber Joachim
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. J. Avenhaus, J. Müller, M. Vierling: REPSY-REwrite Programm SYnthesis. Workshop “Verifikation, Konstruktion und Synthese von Programmen”, Karlsruhe: 1989
2. A. Bockmayr: Narrowing with built-in Theories. Proc. First International Workshop on Algebraic and Logic Programming, Gaussig (DDR ): 1988
3. H. J. Bürckert: Lazy Theory Unification in Prolog: An Extension of the Warren Abstract Machine. Proceedings GWAI’86, IFB 124, 277–288: 1986
4. B. IVonhöfer, U. Furbach: Knuth-Bendix Completion versus Fold-Unfold: A Comparative Study in Program Synthesis. GWAF86, IFB 124, 289–300: 1986
5. U. Furbach, S. Hölldobler: Modelling the Combination of Functional and Logic Programming Languages. Journal of Symbolic Computation, 123–138: 1986