MAURI, GIANCARLO
MAURI, GIANCARLO
DIPARTIMENTO DI MEDICINA E CHIRURGIA (SCHOOL OF MEDICINE AND SURGERY)
Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata
1977 Bertoni, A; Mauri, G; Torelli, M
An algebraic approach to problem solution and problem semantics
1977 Bertoni, A; Mauri, G; Torelli, M
A mathematical model for analysing and structuring musical texts
1978 Bertoni, A; Haus, G; Torelli, M; Mauri, G
Analysis and compacting of musical texts
1978 Bertoni, A; Haus, G; Mauri, G; Torelli, M
A characterization of abstract data as model theoretic invariants
1979 Bertoni, A; Mauri, G; Miglioli, P
Model theoretic aspects of abstract data specification
1979 Bertoni, A; Mauri, G; Miglioli, P
On different approaches to abstract data types and the existence of recursive models
1979 Bertoni, A; Mauri, G; Miglioli, P; Wirsing, M
Three efficient algorithms for counting problems
1979 Bertoni, A; Mauri, G; Torelli, M
Use of bipartite graphs as a notation for data bases
1979 De Antonellis, V; De Cindio, F; Degli Antoni, G; Mauri, G
Towards a theory of abstract data types: a discussion on problems and tools
1980 Bertoni, A; Mauri, G; Miglioli, P
Extending the entity–relationship approach to take into account historical aspects of systems
1980 De Antonellis, V; Degli Antoni, G; Mauri, G; Zonta, B
Sulla complessità di alcuni problemi di conteggio
1980 Bertoni, A; Torelli, M; Mauri, G
A #P–complete problem over arithmetical trees
1981 Mauri, G; Sabadini, N
On efficient computation of the coefficients of some polynomials with application to some enumeration problems
1981 Bertoni, A; Mauri, G
A characterization of the class of functions computable in polynomial time on random access machines
1981 Bertoni, A; Mauri, G; Sabadini, N
An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages
1981 Bertoni, A; Brambilla, M; Mauri, G; Sabadini, N
On the logic of concurrency and conflict
1982 Mauri, G; Brambilla, M
Context-free trace languages
1982 Bertoni, A; Mauri, G; Sabadini, N
A hierarchy of regular trace languages and some combinatorial applications
1982 Bertoni, A; Mauri, G; Sabadini, N
Equivalence and membership problems for regular trace languages
1982 Bertoni, A; Mauri, G; Sabadini, N