SABADINI, NICOLETTA

SABADINI, NICOLETTA  

DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO  

Mostra records
Risultati 1 - 20 di 65 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
A #P-complete problem over arithmetical trees, Proc. 6th Coll. on Trees in Algebra and Programming, 112, (E.Astesiano, C.Boehm eds), pp., Springer-Verlag, Berlin, 1981 1-gen-1981 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A characterization of the class of functions computable in polynomial time on Random Access Machines 1-gen-1981 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A formalization of the IWIM model 1-gen-2000 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A hierarchy of regular trace languages and some combinatorial applications 1-gen-1982 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A note on recursive functions 1-gen-1996 Sabadini, Nicoletta; Vigna, S; Walters, Rfc
A process algebra for the Span(Graph) model of concurrency 1-gen-2008 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A universal property of categories of automata 1-gen-2002 Sabadini, Nicoletta; Walters, R. F. C.
A universal property of the monoidal 2-category of cospans of ordinals and surjections 1-gen-2007 M., Menni; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Algebraic and informational aspects of Zielonka's Theorem. 1-gen-1993 Bertoni, A.; Mauri, G.; Pighizzini, G.; Sabadini, Nicoletta
An algebra of automata which includes both classical and quantum entities 1-gen-2011 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
An application of the theory of free partially commutative monoids: asymptotic densities of trace languages 1-gen-1981 Bertoni, A.; Brambilla, M.; Mauri, G.; Sabadini, Nicoletta
An automata model of distributed computation 1-gen-2002 Sabadini, Nicoletta; Walters, R. F. C.
An automata model of distributed systems 1-gen-2000 Piergiulio, Katis; R., Rosebrugh; Sabadini, Nicoletta; R., Walters
An automata model of distributed systems 1-gen-2000 Piergiulio, Katis; Sabadini, Nicoletta; Robert, Walters
Analysis of a class of Algorithms for Problems on trace languages 1-gen-1987 Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta
Un approccio composizionale alla descrizione di sistemi complessi a rete 1-gen-2013 Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Bicategories of processes 1-gen-1997 Katis, P; Sabadini, Nicoletta; Walters, Rfc
Calculating colimits compositionally 1-gen-2008 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Calculating Colimits Compositionally 1-gen-2008 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Categorical Algebras of Automata 1-gen-2002 Sabadini, Nicoletta; Walters, R. F. C.