| 1995 |
|---|
| 5 | | Maria Alberta Alberti,
Giuseppa Carrà Ferro,
B. Lammoglia,
Mauro Torelli:
The Dimension Method in Elementary and Differential Geometry.
Ann. Math. Artif. Intell. 13(1-2): 47-72 (1995) |
| 1986 |
|---|
| 4 | | Paolo Massazza,
Giancarlo Mauri,
P. Righi,
Mauro Torelli:
A Symbolic Manipulation System for Combinatorial Problems.
AAECC 1986: 88-97 |
| 1979 |
|---|
| 3 | | Alberto Bertoni,
Giancarlo Mauri,
Mauro Torelli:
Three Efficient Algorithms for Counting Problems.
Inf. Process. Lett. 8(1): 50-53 (1979) |
| 1977 |
|---|
| 2 | | Alberto Bertoni,
Giancarlo Mauri,
Mauro Torelli:
Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata.
ICALP 1977: 87-94 |
| 1 | | Alberto Bertoni,
Giancarlo Mauri,
Mauro Torelli:
An Algebraic Approach to Problem Solution and Problem Semantics.
MFCS 1977: 253-262 |
