Pubblicazioni
Pubblicazioni trovate: 410
- A Decidable Intersection Type System based on Relevance
Ferruccio Damiani, Paola Giannini
Apparso su TACS'94, Ed. Springer, 1994, Pagine: 707-725 - A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Apparso su Information and Computation 110, 1994, Pagine: 115 - 173 - Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Apparso su IEEE Trans. Computers Vol. 42 n. 11, 1993, Pagine: 1343-1360 - The Complexity of the Theory of p-adic Numbers
Lavinia Egidi
Apparso su FOCS, 1993, Pagine: 412-421 - Type Inference: some results, some problems
Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
Apparso su Fundamenta Informatic\ae 19 1-2, 1993, Pagine: 87 - 125 - A symbolic simulation mechanism for well-formed coloured Petri nets
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
Apparso su Annual Simulation Symposium, 1992, Pagine: 192-201 - Understanding Parallel Program Behavior through Petri Net Models
G. Balbo, Susanna Donatelli, Giuliana Franceschinis
Apparso su J. Parallel Distrib. Comput. Vol. 15 n. 3, 1992, Pagine: 171-187 - Operational, denotational and logical descriptions: a case study
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Apparso su Fundam. Inform. Vol. 16 n. 1, 1992, Pagine: 149-169 - A Complete Type Inference Algorithm for Simple Intersection Types
Mario Coppo, Paola Giannini
Apparso su In Colloquium on Trees Algebras and Programming, CAAP92, 1992 - A Structural Colour Simplification in Well-Formed Coloured Nets
Giovanni Chiola, Giuliana Franceschinis
Apparso su PNPM, 1991, Pagine: 144-153
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 > »
