Mario Ornaghi

Bibliography

Lau, Kung-Kiu and Ornaghi, Mario. 1994. “On Specification Frameworks and Deductive Synthesis of Logic Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 104–121. Berlin: Springer.
Miglioli, Pierangelo, Moscato, Ugo and Ornaghi, Mario. 1987. “Constructive Theories with Abstract Data Types for Program Synthesis.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 293–302. New York: Plenum Press.