Pubblicazioni
Pubblicazioni trovate: 407
- Focusing Abductive Diagnosis
Daniele Theseider Dupré, L. Console, Luigi Portinale
Apparso su AI COMMUNICATIONS Vol. 4, 1991, Pagine: 88--97 - Type Inference in Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Apparso su 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
Apparso su PNPM, 1989, Pagine: 50-60 - Characterization of Typings in Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Apparso su Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science, 1988, Pagine: 61-70 - On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets
G. Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
Apparso su PNPM, 1987, Pagine: 136-145 - Effectively Given Domains and Lamba-Calculus Models
Paola Giannini, Giuseppe Longo
Apparso su Information and Control 62, 1984, Pagine: 36 - 63
Pagine: « < 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 41
