Publications
Publications found: 393
- Operational, denotational and logical descriptions: a case study
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Published on Fundam. Inform. Vol. 16 n. 1, 1992, Pages: 149-169
- A Complete Type Inference Algorithm for Simple Intersection Types
Mario Coppo, Paola Giannini
Published on In Colloquium on Trees Algebras and Programming, CAAP92, 1992
- A Structural Colour Simplification in Well-Formed Coloured Nets
Giovanni Chiola, Giuliana Franceschinis
Published on PNPM, 1991, Pages: 144-153
- GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?
Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis
Published on PNPM, 1991, Pages: 20-31
- The lazy call-by-value Lamda-Calculus.
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Published on MFCS, 1991, Pages: 161-169
- The lazy call-by-value Lamda-Calculus
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Published on MFCS, 1991, Pages: 161-169
- Focusing Abductive Diagnosis
Daniele Theseider Dupré, L. Console, Luigi Portinale
Published on AI COMMUNICATIONS Vol. 4, 1991, Pages: 88--97
- Type Inference in Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Published on In Theoretical Aspects of Computer Software, TACS91, 1991
- IDL, The Language and its Implementation
Paola Giannini, J. Nestor, J. Newcomer, D. Stone
Ed. Prentice Hall Software Series, 1990
- Colored GSPN Models and Automatic Symmetry Detection
Giovanni Chiola, Giuliana Franceschinis
Published on PNPM, 1989, Pages: 50-60
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 > »
