Maurizio Proietti
发表
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2004,
Program Development in Computational Logic.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1993,
J. Log. Program..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2020,
IJCAR.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1994,
GULP.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2011,
SEBD.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2001,
LOPSTR.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2022
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015,
PPDP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015,
Theory and Practice of Logic Programming.
Alberto Pettorossi,
Maurizio Proietti,
1996,
CSUR.
Alberto Pettorossi,
Maurizio Proietti,
1999,
J. Log. Program..
Maurizio Proietti,
1995
.
Alberto Pettorossi,
Maurizio Proietti,
Kung-Kiu Lau,
1995,
ILPS.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2011,
DEXA.
Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault,
2012
.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1996,
The Knowledge Engineering Review.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
Fundam. Informaticae.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2006,
ICLP.
Maurizio Proietti,
Emanuele De Angelis,
A. Pettorossi,
2012
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
Theory Pract. Log. Program..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
Fundam. Informaticae.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2010,
Theory and Practice of Logic Programming.
Maurizio Proietti,
2015
.
Alberto Pettorossi,
Maurizio Proietti,
1992,
LOPSTR.
Alberto Pettorossi,
Maurizio Proietti,
2006,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
PEPM '13.
Maurizio Proietti,
Fabrizio Smith,
M. Proietti,
2014,
ArXiv.
Alberto Pettorossi,
Maurizio Proietti,
1993,
Fundam. Informaticae.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2008,
Il Milione.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2009,
LOPSTR.
Maurizio Proietti,
Fabrizio Smith,
Francesco Taglino,
2012,
INVIT.
Alberto Pettorossi,
Maurizio Proietti,
1996,
Dagstuhl Seminar on Partial Evaluation.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
Sci. Comput. Program..
Alberto Pettorossi,
Maurizio Proietti,
Enrico Pietropoli,
1993
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
TAP@FM.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2005,
LOPSTR.
Alberto Pettorossi,
Maurizio Proietti,
1999,
LOPSTR.
Maurizio Proietti,
Hirohisa Seki,
H. Seki,
2014,
Lecture Notes in Computer Science.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011
.
Alberto Pettorossi,
Maurizio Proietti,
2004,
Theory Pract. Log. Program..
Alberto Pettorossi,
Maurizio Proietti,
2013,
VPT@CAV.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
Festschrift for Dave Schmidt.
Maurizio Proietti,
Hirohisa Seki,
H. Seki,
2014
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2012,
LOPSTR.
Maurizio Proietti,
Fabrizio Smith,
Francesco Taglino,
2012,
NGEBIS.
Alberto Pettorossi,
Maurizio Proietti,
1999,
ICLP.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2007,
ICLP.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2012,
Formal Aspects of Computing.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1990,
ESOP.
Alberto Pettorossi,
Maurizio Proietti,
1996,
Dagstuhl Seminar on Partial Evaluation.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
CILC.
Maurizio Proietti,
Fabrizio Smith,
M. Proietti,
2014,
SIMPDA.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2010
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
Theory and Practice of Logic Programming.
Alberto Pettorossi,
Maurizio Proietti,
2000
.
Maurizio Proietti,
1987,
Category Theory and Computer Science.
Alberto Pettorossi,
Maurizio Proietti,
1998,
CSUR.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
2002,
Formal Aspects of Computing.
Maurizio Proietti,
1996
.
Alberto Pettorossi,
Maurizio Proietti,
Emanuele De Angelis,
2012,
CILC.
Antonio De Nicola,
Maurizio Proietti,
Michele Missikoff,
2009
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
Theory and Practice of Logic Programming.
Alberto Pettorossi,
Maurizio Proietti,
2002,
Computational Logic: Logic Programming and Beyond.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2000,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015
.
Maurizio Proietti,
Fabrizio Smith,
M. Proietti,
2013,
ICAART.
Maurizio Proietti,
Andrei P. Nemytykh,
Alexei Lisitsa,
2017
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2018,
HCVS.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2010,
25 Years GULP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
VMCAI.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1994
.
Antonio De Nicola,
Maurizio Proietti,
Michele Missikoff,
2010,
DEXA.
Alberto Pettorossi,
Maurizio Proietti,
2008,
High. Order Symb. Comput..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
HCVS@ETAPS.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1996,
CSUR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
ArXiv.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
CILC.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2005
.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2010,
CILC.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1993,
Formal Program Development.
Alberto Pettorossi,
Maurizio Proietti,
1997,
SIGP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
VPT@Programming.
Maurizio Proietti,
Fabrizio Smith,
2014,
eChallenges e-2014 Conference Proceedings.
Alberto Pettorossi,
Maurizio Proietti,
1991
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2012,
CILC.
Alberto Pettorossi,
Maurizio Proietti,
2005,
Fundam. Informaticae.
Alberto Pettorossi,
Maurizio Proietti,
1993,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
RP.
Maurizio Proietti,
Fabrizio Smith,
2013,
ICAART.
Maurizio Proietti,
Fabrizio Smith,
Dario De Sanctis,
2013,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
Intelligenza Artificiale.
Maurizio Proietti,
2016
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
1999,
Electron. Notes Theor. Comput. Sci..
Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault,
1997,
POPL '97.
Maurizio Proietti,
Claudia Diamantini,
Domenico Potena,
2013,
Int. J. Inf. Syst. Model. Des..
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1991,
PEPM '91.
Fabio Fioravanti,
Maurizio Proietti,
Valerio Senni,
2015,
J. Log. Comput..
Jorge A. Navas,
Fabio Fioravanti,
Maurizio Proietti,
2014,
HCVS.
Alberto Pettorossi,
Maurizio Proietti,
2017,
ArXiv.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2004,
MSRAS.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
Sci. Comput. Program..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
VPT@CAV.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
CILC.
Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault,
1996,
JICSLP.
Alberto Pettorossi,
Maurizio Proietti,
2008,
High. Order Symb. Comput..
Fabio Fioravanti,
Maurizio Proietti,
A. Pettorossi,
2016
.
Antonio De Nicola,
Maurizio Proietti,
Michele Missikoff,
2010,
SEBD.
Alberto Pettorossi,
Maurizio Proietti,
2004,
PEPM '04.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1991,
PLILP.
Alberto Pettorossi,
Maurizio Proietti,
1994,
GULP-PRODE.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2008,
ICLP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2018,
Theory and Practice of Logic Programming.
Maurizio Proietti,
1995,
Lecture Notes in Computer Science.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1991,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
TACAS.
Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault,
1996,
LOPSTR.
Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault,
2003,
High. Order Symb. Comput..
Fabio Fioravanti,
Maurizio Proietti,
1999,
APPIA-GULP-PRODE.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2010
.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
1994,
J. Log. Program..
Alberto Pettorossi,
Maurizio Proietti,
1998
.
Alberto Pettorossi,
Maurizio Proietti,
M. Proietti,
2000,
Computational Logic.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
RuleML+RR.
Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni,
2005,
Transformation Techniques in Software Engineering.
Alberto Pettorossi,
Maurizio Proietti,
1995,
Theor. Comput. Sci..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2002,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
LOPSTR.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2010,
INVIT.
Alberto Pettorossi,
Maurizio Proietti,
1989,
ICLP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
SAS.
Alberto Pettorossi,
Maurizio Proietti,
1997,
Algorithmic Languages and Calculi.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2010,
LOPSTR.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2010,
BSME.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
LOPSTR.
Maurizio Proietti,
1996,
LOPSTR.
John P. Gallagher,
Alberto Pettorossi,
Manuel V. Hermenegildo,
2021,
Theory Pract. Log. Program..
Maurizio Proietti,
Emanuele De Angelis,
Guglielmo De Angelis,
2021,
2021 IEEE International Conference on Service-Oriented System Engineering (SOSE).
Maurizio Proietti,
Alberto Casagrande,
Eugenio G. Omodeo,
2021,
Fundam. Informaticae.
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
pdf
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2021,
J. Log. Comput..
Marco Montali,
Maurizio Proietti,
Paolo Felli,
2021,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2001
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2022
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2020,
IJCAR.
Maurizio Proietti,
Michele Missikoff,
Fabrizio Smith,
2010
.