Mario Ornaghi

发表

Giancarlo Mauri, Alberto Bertoni, Pierangelo Miglioli, 1984, Semantics of Data Types.
Pierangelo Miglioli, Mario Ornaghi, P. Miglioli, 1981, Fundam. Informaticae.
P. Miglioli, Mario Ornaghi, 1981, Fundam. Informaticae.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 1999 .
Mario Ornaghi, K. Lau, 2007 .
A. Momigliano, Mario Ornaghi, Camillo Fiorentini, 2005 .
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1993, ICLP.
Mario Ornaghi, Dario Maggiorini, Laura Anna Ripamonti, 2015, CHItaly.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1997, J. Log. Program..
Kung-Kiu Lau, Mario Ornaghi, Alberto Momigliano, 2004, LOPSTR.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 2004, Program Development in Computational Logic.
P. Miglioli, Mario Ornaghi, U. Moscato, 1981 .
Mauro Ferrari, Mario Ornaghi, Camillo Fiorentini, 2001, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, Gabriele Usberti, 1988, Notre Dame J. Formal Log..
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1986, Foundations of Logic and Functional Programming.
Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi, 2003, Log. J. IGPL.
Mario Ornaghi, Alberto Momigliano, A. Momigliano, 1997, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, Silvia Quazza, 1989, Notre Dame J. Formal Log..
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1981, CAAP.
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, 2010, ICMT@TOOLS.
Mario Ornaghi, Alberto Momigliano, A. Momigliano, 1997, J. Log. Comput..
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, 2009, TYPES.
Mario Ornaghi, Alberto Momigliano, A. Momigliano, 2010, 25 Years GULP.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 2000, Computational Logic.
Alberto Pettorossi, Maurizio Proietti, Kung-Kiu Lau, 1995, ILPS.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1995, TABLEAUX.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1999, International Conference on Logic Programming.
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund, 1999, J. Log. Program..
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1994, International Workshop/Symposium on Logic-based Program Synthesis and Transformation.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 2003, LOPSTR.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 2000, J. Symb. Comput..
Shaoying Liu, Kung-Kiu Lau, Mario Ornaghi, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1998, LOPSTR.
Kung-Kiu Lau, Mario Ornaghi, Alan Wills, 1997, First IEEE International Conference on Formal Engineering Methods.
Chris Moss, Kung-Kiu Lau, Mario Ornaghi, 1996, FME 1996.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1996, LOPSTR.
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi, 1996, FAPR.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1995, LOPSTR.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1997, APPIA-GULP-PRODE.
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi, 1997 .
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1996 .
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1995, ILPS.
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund, 1994, ICLP.