| 1994 |
|---|
| 10 | | Gianfranco Mascari,
Marco Pedicini:
Head Linear Reduction and Pure Proof Net Extraction.
Theor. Comput. Sci. 135(1): 111-137 (1994) |
| 1993 |
|---|
| 9 | | Gianfranco Mascari,
F. Pucci:
Autonomous Posets and Quantales.
ITA 27(6): 483-501 (1993) |
| 1990 |
|---|
| 8 | | Gianfranco Mascari,
Antonio Vincenzi:
Model-Theoretic Specifications and Back-and-Forth Equivalences.
ADT 1990: 166-184 |
| 1989 |
|---|
| 7 | | V. Michele Abrusci,
Gianfranco Mascari:
A Logic of Recursion
Inf. Comput. 81(2): 168-226 (1989) |
| 1986 |
|---|
| 6 | | Gianfranco Mascari,
Alfonso Miola:
On the Integration of Numeric and Algebraic Computations.
AAECC 1986: 77-87 |
| 1985 |
|---|
| 5 | | Egidio Astesiano,
Gianfranco Mascari,
Gianna Reggio,
Martin Wirsing:
On the Parameterized Algebraic Specification of Concurrent Systems.
TAPSOFT, Vol.1 1985: 342-358 |
| 4 | | Gianfranco Mascari,
Marisa Venturini Zilli:
While-Programs with Nondeterministic Assignments and the Logic Alna.
Theor. Comput. Sci. 40: 211-235 (1985) |
| 1983 |
|---|
| 3 | | W. Di Palma,
Gianfranco Mascari:
Abstract Data Types and Categorical Logic.
ADT 1983 |
| 1982 |
|---|
| 2 | EE | Walter Dosch,
Gianfranco Mascari,
Martin Wirsing:
On the Algebraic Specification of Databases.
VLDB 1982: 370-385 |
| 1980 |
|---|
| 1 | | Walter Dosch,
Martin Wirsing,
Giorgio Ausiello,
Gianfranco Mascari:
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
GI Jahrestagung 1980: 306-320 |
