Barbuti, Roberto; Codish, Michael; Giacobazzi, Roberto; Levi, Giorgio Modelling Prolog control. (English) Zbl 0802.68026 J. Log. Comput. 3, No. 6, 579-603 (1993). MSC: 68N17 68Q55 68Q60 PDFBibTeX XMLCite \textit{R. Barbuti} et al., J. Log. Comput. 3, No. 6, 579--603 (1993; Zbl 0802.68026) Full Text: DOI Link
Levi, Giorgio; Sardu, Giuseppe Partial evaluation of metaprograms in a “multiple worlds” logic language. (English) Zbl 0654.68022 New Generation Comput. 6, No. 2-3, 227-247 (1988). MSC: 68Q60 68T15 68T99 68N20 PDFBibTeX XMLCite \textit{G. Levi} and \textit{G. Sardu}, New Generation Comput. 6, No. 2--3, 227--247 (1988; Zbl 0654.68022) Full Text: DOI
Levi, Giorgio Logic programming: The foundations, the approach and the role of concurrency. (English) Zbl 0595.68009 Current trends in concurrency, overviews and tutorials, Lect. Notes Comput. Sci. 224, 396-441 (1986). MSC: 68N01 68N25 PDFBibTeX XML
Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio; Dameri, Enrico; Martelli, Maurizio Applicative communicating processes in first order logic. (English) Zbl 0494.68033 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 1-14 (1982). MSC: 68Q65 68N25 PDFBibTeX XML