Giuseppe Longo
发表
Massimo Brescia,
Stefano Cavuoti,
Giovanni D'Angelo,
2008,
ArXiv.
Giuseppe Longo,
2016
.
Giuseppe Longo,
G. Longo,
2003
.
Giuseppe Longo,
Maël Montévil,
2017,
Log. Methods Comput. Sci..
Luca Cardelli,
Giuseppe Longo,
G. Longo,
1991,
J. Funct. Program..
Giuseppe Longo,
1972
.
Giuseppe Longo,
G. Longo,
2020,
Handbook of the Mathematics of the Arts and Sciences.
Giuseppe Longo,
Eugenio Moggi,
G. Longo,
1984,
MFCS.
Giuseppe Longo,
1989,
Category Theory and Computer Science.
Giuseppe Longo,
Eugenio Moggi,
G. Longo,
1984,
Semantics of Data Types.
Giuseppe Longo,
1989
.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
2000,
J. Log. Comput..
S. G. Djorgovski,
Ciro Donalek,
Giuseppe Longo,
2013
.
Giuseppe Longo,
G. Longo,
2011
.
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2016,
2016 IEEE Symposium Series on Computational Intelligence (SSCI).
Giuseppe Longo,
Barbara Bravi,
G. Longo,
2015,
UCNC.
Giuseppe Longo,
Lee D. Davisson,
Andrea Sgarro,
1981,
IEEE Trans. Inf. Theory.
Giuseppe Longo,
Mioara Mugur-Schächter,
2014,
Math. Struct. Comput. Sci..
Giuseppe Longo,
Simone Martini,
G. Longo,
1984,
STACS.
Antonino Staiano,
Diego di Bernardo,
Angelo Ciaramella,
2005,
WILF.
Giuseppe Longo,
G. Longo,
1984,
MFCS.
Massimo Brescia,
Stefano Cavuoti,
Raffaele D'Abrusco,
2011,
ArXiv.
Giuseppe Longo,
Maël Montévil,
G. Longo,
2010,
Theory in Biosciences.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1993,
Theor. Comput. Sci..
Roberto Tagliaferri,
Giuseppe Longo,
Roberto Marmo,
2005,
Comput. Geosci..
Roberto Di Cosmo,
Giuseppe Longo,
1992
.
Giuseppe Longo,
G. Longo,
1993,
TAPSOFT.
Some Aspects of Impredicativity: Notes on Weyl's philosophy of Mathematics and on todays Type Theory
Giuseppe Longo,
1989
.
Giuseppe Longo,
Andrea Sgarro,
2011,
Electron. Notes Discret. Math..
Giuseppe Castagna,
Giuseppe Longo,
Giorgio Ghelli,
1992,
LFP '92.
Giuseppe Longo,
Guglielmo Galasso,
1982,
IEEE Trans. Inf. Theory.
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2016,
Astroinformatics.
Ugo Becciani,
Giuseppe Longo,
A. Caproni,
2003
.
Cristian S. Calude,
Giuseppe Longo,
G. Longo,
2015,
Natural Computing.
Roberto Tagliaferri,
Ciro Donalek,
Giuseppe Longo,
2003,
WIRN.
Giuseppe Longo,
Andrea Sgarro,
1979,
IEEE Trans. Inf. Theory.
Giuseppe Longo,
David Carlton,
Carlo Schaerf,
1992
.
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2017,
DAMDID/RCDL.
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2018,
ESANN.
Domenico Lo Presti,
Giuseppe Longo,
Maurizio Boscardin,
2018,
Sensors.
Giuseppe Longo,
P. Scott,
2003,
Bull. Symb. Log..
Antonio Pescapè,
Mauro Garofalo,
Giorgio Ventre,
2012,
WIRN.
Giuseppe Longo,
1979
.
Giuseppe Longo,
Asya Willerval,
2008,
Bull. dInformatique Approfondie et Appl..
Giuseppe Longo,
Pierre-Emmanuel Tendero,
G. Longo,
2007
.
Giuseppe Longo,
1973
.
Giuseppe Longo,
Andrea Sgarro,
1990,
IPMU.
Antonino Staiano,
Diego di Bernardo,
Angelo Ciaramella,
2006,
Bioinform..
Kim B. Bruce,
Giuseppe Longo,
G. Longo,
1984,
Theor. Comput. Sci..
Kim B. Bruce,
Giuseppe Longo,
G. Longo,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Giuseppe Longo,
Luca Gasperini,
M. Pipan,
2000,
International Conference on Ground Penetrating Radar.
Giuseppe Longo,
Vincenzo Catania,
Shashi Kumar,
2008,
Second ACM/IEEE International Symposium on Networks-on-Chip (nocs 2008).
Giuseppe Longo,
Giuseppe Longo,
G. Longo,
2010
.
Giuseppe Longo,
G. Longo,
1988,
Ann. Pure Appl. Log..
Giuseppe Longo,
Mathieu Hoyrup,
Arda Kolçak,
2008,
Theor. Comput. Sci..
Giuseppe Longo,
Mioara Mugur-Schächter,
G. Longo,
2014,
Mathematical Structures in Computer Science.
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2015,
Comput. Math. Methods Medicine.
Giuseppe Longo,
2008
.
Antonino Staiano,
Angelo Ciaramella,
Roberto Tagliaferri,
2005,
WIRN/NAIS.
Giuseppe Longo,
2007,
ICTCS.
Giuseppe Longo,
G. Longo,
2010
.
Roberto Tagliaferri,
Nicola Capuano,
Giuseppe Longo,
1999,
IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2018,
DAMDID/RCDL.
Giuseppe Longo,
G. Longo,
2009,
SOFSEM.
Giuseppe Longo,
2016,
AI & SOCIETY.
Massimo Brescia,
Stefano Cavuoti,
Giuseppe Longo,
2016,
Astroinformatics.
Kim B. Bruce,
Giuseppe Longo,
1985,
STOC '85.
Giuseppe Longo,
Maël Montévil,
G. Longo,
2012,
Computation, Physics and Beyond.
Giuseppe Longo,
Eugenio Moggi,
G. Longo,
1984,
Journal of Symbolic Logic.
Glynn Winskel,
Thomas Ehrhard,
Abbas Edalat,
2009,
Math. Struct. Comput. Sci..
Giuseppe Longo,
G. Longo,
2004,
Synthese.
Giuseppe Longo,
G. Longo,
2000,
Math. Log. Q..
Giuseppe Longo,
Marcello Buiatti,
G. Longo,
2011,
Theory in Biosciences.
Peter Tiño,
Michael Biehl,
Giuseppe Longo,
2018,
ESANN.
Giuseppe Longo,
Barbara Bravi,
2015
.
Ciro Donalek,
Giuseppe Longo,
Matthew J. Graham,
2012,
Distributed and Parallel Databases.
Giuseppe Longo,
G. Longo,
2010,
CiE.
Antonino Staiano,
Angelo Ciaramella,
Giancarlo Raiconi,
2005
.
Giuseppe Longo,
G. Longo,
1995,
Fundam. Informaticae.
Giuseppe Longo,
1984,
CAAP.
Paola Giannini,
Giuseppe Longo,
G. Longo,
1984,
Inf. Control..
Björn Victor,
Luca Aceto,
Giuseppe Longo,
2003,
Math. Struct. Comput. Sci..
Giuseppe Longo,
Peter Tino,
Erzs'ebet Mer'enyi,
2019,
Publications of the Astronomical Society of the Pacific.
Giuseppe Longo,
2009
.
Giuseppe Longo,
Roberto M. Amadio,
G. Longo,
1987,
Formal Description of Programming Concepts.
Giuseppe Longo,
G. Longo,
1990,
IPMU.
Giuseppe Castagna,
Giuseppe Longo,
Giorgio Ghelli,
1993,
TLCA.
Giuseppe Longo,
Simone Martini,
G. Longo,
1986,
Theor. Comput. Sci..
Giuseppe Longo,
Thierry Paul,
G. Longo,
2011
.
Giuseppe Longo,
Maël Montévil,
Stuart A. Kauffman,
2012,
GECCO '12.
The DAME/VO-Neural Infrastructure: an Integrated Data Mining System Support for the Science Community
pdf
Mauro Garofalo,
Massimo Brescia,
Stefano Cavuoti,
2011,
ArXiv.
Giuseppe Longo,
Eugenio Moggi,
G. Longo,
1990,
Theor. Comput. Sci..
Giuseppe Longo,
Andrea Asperti,
G. Longo,
1986,
CAAP.
Giuseppe Longo,
1991,
Inf. Sci..
Mariangiola Dezani-Ciancaglini,
Giuseppe Longo,
Mario Coppo,
1983,
CAAP.
Giuseppe Longo,
Fabio Pasian,
Riccardo Smareglia,
2006
.
Kim B. Bruce,
Giuseppe Longo,
Roberto M. Amadio,
1986,
LICS.
Antonino Staiano,
Angelo Ciaramella,
Gennaro Miele,
2005,
Seventh International Workshop on Computer Architecture for Machine Perception (CAMP'05).
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Massimo Brescia,
Stefano Cavuoti,
Giovanni D'Angelo,
2008,
ArXiv.
Giuseppe Longo,
Andrea Asperti,
G. Longo,
1991,
Foundations of computing.
Giuseppe Longo,
Jean Lassègue,
2012,
CiE.
Antonino Staiano,
Giuseppe Longo,
Elena Salvatore,
2010,
Inf. Sci..
Luca Cardelli,
Giuseppe Longo,
G. Longo,
1990,
Journal of Functional Programming.
Giuseppe Longo,
János Körner,
1973,
IEEE Trans. Inf. Theory.
Antonino Staiano,
Diego di Bernardo,
Angelo Ciaramella,
2004,
WIRN.
Kim B. Bruce,
Giuseppe Longo,
1990,
Inf. Comput..
Massimo Brescia,
Giuseppe Longo,
Fabio Pasian,
2010,
ArXiv.
Massimo Brescia,
Giuseppe Longo,
Marco Castellani,
2011,
ArXiv.
Roberto Di Cosmo,
Kim B. Bruce,
Giuseppe Longo,
1992,
Mathematical Structures in Computer Science.
Giuseppe Longo,
G. Longo,
2003,
ESEC/FSE-11.
Stefano Cavuoti,
Giuseppe Longo,
Giuseppe Longo,
2007
.
Giuseppe Longo,
G. Longo,
2017,
1701.08085.
Cristian S. Calude,
Giuseppe Longo,
G. Longo,
2016,
Foundations of Science.
Giuseppe Longo,
G. Longo,
1983,
Ann. Pure Appl. Log..
Giuseppe Castagna,
Giuseppe Longo,
Giorgio Ghelli,
1995,
Inf. Comput..
Salvatore Sessa,
Antonino Staiano,
Angelo Ciaramella,
2003,
Neural Networks.
Giuseppe Longo,
Marisa Venturini Zilli,
1980,
Arch. Math. Log..
Giuseppe Longo,
G. Longo,
2011
.
Mauro Garofalo,
Massimo Brescia,
Stefano Cavuoti,
2008,
ArXiv.
Giuseppe Longo,
G. Longo,
2012
.
Giuseppe Longo,
Sergei Soloviev,
Kathleen Milsted,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Longo,
Marisa Venturini Zilli,
1976,
ICALP.
Giuseppe Longo,
Francis Bailly,
2007,
Math. Struct. Comput. Sci..
Antonino Staiano,
Diego di Bernardo,
Angelo Ciaramella,
2004,
Fourth IEEE International Conference on Data Mining (ICDM'04).
Giuseppe Longo,
G. Longo,
2000,
TYPES.
Giuseppe Longo,
2009,
Inf. Comput..
Giuseppe Longo,
G. Longo,
2021
.
Giuseppe Longo,
Enka Blanchard,
G. Longo,
2021,
Biosyst..
Giuseppe Longo,
Arnaud Viarouge,
G. Longo,
2010
.
Giuseppe Longo,
Matteo Mossio,
G. Longo,
2009,
Journal of theoretical biology.
Giuseppe Longo,
Francis Bailly,
2004
.
Giuseppe Longo,
2005
.
Giuseppe Longo,
G. Longo,
1999
.
Giuseppe Longo,
G. Longo,
Normale Sup,
2011
.
Giuseppe Longo,
G. Longo,
1976
.
Giuseppe Longo,
2002
.
Giuseppe Longo,
Francis Bailly,
G. Longo,
2003
.
Giuseppe Longo,
G. Longo,
2007
.
Giuseppe Longo,
G. Longo,
Thomas Fruchart,
1999
.
Giuseppe Longo,
G. Frezza,
2010
.
Giuseppe Longo,
Maël Montévil,
G. Longo,
2013
.
Giuseppe Longo,
Giuseppe Longo,
G. Longo,
1972,
International Centre for Mechanical Sciences.
Giuseppe Longo,
2000
.
Giuseppe Longo,
Francis Bailly,
G. Longo,
2008
.
Giuseppe Longo,
Maël Montévil,
2014
.
Giuseppe Longo,
Henk Barendregt,
1983
.
Giuseppe Longo,
Maël Montévil,
2014
.
Giuseppe Longo,
Andrea Asperti,
1988
.