MAURI, GIANCARLO

MAURI, GIANCARLO  

DIPARTIMENTO DI MEDICINA E CHIRURGIA (SCHOOL OF MEDICINE AND SURGERY)  

Mostra records
Risultati 1 - 20 di 539 (tempo di esecuzione: 0.038 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata 02 - Intervento a convegno 1977 Mauri, G +
An algebraic approach to problem solution and problem semantics 02 - Intervento a convegno 1977 Mauri, G +
A mathematical model for analysing and structuring musical texts 01 - Articolo su rivista 1978 Mauri, G. +
Analysis and compacting of musical texts 01 - Articolo su rivista 1978 Mauri, G +
Use of bipartite graphs as a notation for data bases 01 - Articolo su rivista 1979 MAURI, GIANCARLO +
Model theoretic aspects of abstract data specification 03 - Contributo in libro 1979 Mauri, G +
A characterization of abstract data as model theoretic invariants 02 - Intervento a convegno 1979 Mauri, G +
Three efficient algorithms for counting problems 01 - Articolo su rivista 1979 MAURI, GIANCARLO +
On different approaches to abstract data types and the existence of recursive models 01 - Articolo su rivista 1979 MAURI, GIANCARLO +
Extending the entity–relationship approach to take into account historical aspects of systems 03 - Contributo in libro 1980 MAURI, GIANCARLO +
Sulla complessità di alcuni problemi di conteggio 01 - Articolo su rivista 1980 MAURI, GIANCARLO +
Towards a theory of abstract data types: a discussion on problems and tools 02 - Intervento a convegno 1980 Mauri, G +
A characterization of the class of functions computable in polynomial time on random access machines 02 - Intervento a convegno 1981 Mauri, G +
On efficient computation of the coefficients of some polynomials with application to some enumeration problems 01 - Articolo su rivista 1981 MAURI, GIANCARLO +
A #P–complete problem over arithmetical trees 02 - Intervento a convegno 1981 Mauri, G +
An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages 02 - Intervento a convegno 1981 MAURI, GIANCARLO +
On the logic of concurrency and conflict 02 - Intervento a convegno 1982 Mauri, GBRAMBILLA, MARCO
Equivalence and membership problems for regular trace languages 02 - Intervento a convegno 1982 Mauri, G +
A hierarchy of regular trace languages and some combinatorial applications 02 - Intervento a convegno 1982 Mauri, G +
Context-free trace languages 02 - Intervento a convegno 1982 Mauri, G +