Fribourg, Laurent (ed.); Turini, Franco (ed.) Logic program synthesis and transformation – meta-programming in logic. 4th international workshops, LOPSTR ’94 and META ’94, Pisa, Italy, June 20–21, 1994. Proceedings. (English) Zbl 0804.68006 Lecture Notes in Computer Science 883. Berlin: Springer-Verlag. ix, 451 p. (1994). The articles of this volume will not be indexed individually. Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 00B25 Proceedings of conferences of miscellaneous specific interest Keywords:Pisa (Italy); Proceedings; Workshop; LOPSTR ’94; META ’94; Logic program synthesis; Transformation; Meta-programming; Logic PDFBibTeX XMLCite \textit{L. Fribourg} (ed.) and \textit{F. Turini} (ed.), Logic program synthesis and transformation -- meta-programming in logic. 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20--21, 1994. Proceedings. Berlin: Springer-Verlag (1994; Zbl 0804.68006) Full Text: DOI