dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Giancarlo Mauri (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Paola Campadelli, Giancarlo Mauri: Some Notes on Computational Learing Theory. Bulletin of the EATCS 43: 140-158 (1991)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: Membership Problems for Regular and Context-Free Trace Languages Inf. Comput. 82(2): 135-150 (1989)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini: Parallel Algorithms and the Classification of Problems. WOPPLOT 1986: 206-226
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi: Abstract Data Types and Their Extensions within a Constructive Logic. Semantics of Data Types 1984: 177-195
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: Equivalence and Membership Problems for Regular Trace Languages. ICALP 1982: 61-71
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, M. Brambilla, Giancarlo Mauri, Nicoletta Sabadini: An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. MFCS 1981: 205-215
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines STOC 1981: 168-176
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri: On Efficient Computation of the Coefficients of Some Polynomials with Applications to Some Enumeration Problems. Inf. Process. Lett. 12(3): 142-145 (1981)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools. Symposium on Programming 1980: 44-58
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: A Characterization of Abstract Data as Model-Theoretic Invariants. ICALP 1979: 26-37
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: Three Efficient Algorithms for Counting Problems. Inf. Process. Lett. 8(1): 50-53 (1979)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. ICALP 1977: 87-94
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: An Algebraic Approach to Problem Solution and Problem Semantics. MFCS 1977: 253-262

Selection of 13 from 205 records - Giancarlo Mauri has 159 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page