You are here

Home

1990

Mancarella P, Pedreschi D, Rondinelli M, Tagliatti M. Algebraic Properties of a Class of Logic Programs. In NACLP. 1990. pp. 23-39.
Brogi A, Mancarella P, Pedreschi D, Turini F. Logic Programming within a Functional Framework. In PLILP. 1990. pp. 372-386.
Barbuti R, Mancarella P, Pedreschi D, Turini F. A Transformational Approach to Negation in Logic Programming. J. Log. Program. 1990;8:201-228.

1988

Bertolino B, Mancarella P, Meo L, Nini L, Pedreschi D, Turini F. A Progress Report on the LML Project. In FGCS. 1988. pp. 675-684.
Mancarella P, Pedreschi D. An Algebra of Logic Programs. In ICLP/SLP. 1988. pp. 1006-1023.
Mancarella P, Martini S, Pedreschi D. Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 1988;5:263-276.

1987

Barbuti R, Mancarella P, Pedreschi D, Turini F. Intensional Negation of Logic Programs: Examples and Implementation Techniques. In TAPSOFT, Vol.2. 1987. pp. 96-110.
Giannotti F, Matteucci A, Pedreschi D, Turini F. Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 1987;9:161-177.

1985

Albano A, Giannotti F, Orsini R, Pedreschi D. The Type System of Galileo. In Data Types and Persistence (Appin), Informal Proceedings. 1985. pp. 175-195.
Albano A, Giannotti F, Orsini R, Pedreschi D. The Type System of Galileo. In Data Types and Persistence (Appin). 1985. pp. 101-119.

Pages