|
Search the dblp DataBase
Gianfranco Mascari:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Walter Dosch, Gianfranco Mascari, Martin Wirsing
On the Algebraic Specification of Databases. [Citation Graph (5, 16)][DBLP] VLDB, 1982, pp:370-385 [Conf]
- Gianfranco Mascari, Alfonso Miola
On the Integration of Numeric and Algebraic Computations. [Citation Graph (0, 0)][DBLP] AAECC, 1986, pp:77-87 [Conf]
- Gianfranco Mascari, Antonio Vincenzi
Model-Theoretic Specifications and Back-and-Forth Equivalences. [Citation Graph (0, 0)][DBLP] ADT, 1990, pp:166-184 [Conf]
- W. Di Palma, Gianfranco Mascari
Abstract Data Types and Categorical Logic. [Citation Graph (0, 0)][DBLP] ADT, 1983, pp:- [Conf]
- Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
Polynomials - The Specification, Analysis and Development of an Abstract Data Type. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1980, pp:306-320 [Conf]
- Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
On the Parameterized Algebraic Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1985, pp:342-358 [Conf]
- V. Michele Abrusci, Gianfranco Mascari
A Logic of Recursion [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:2, pp:168-226 [Journal]
- Gianfranco Mascari, F. Pucci
Autonomous Posets and Quantales. [Citation Graph (0, 0)][DBLP] ITA, 1993, v:27, n:6, pp:483-501 [Journal]
- Gianfranco Mascari, Marco Pedicini
Head Linear Reduction and Pure Proof Net Extraction. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:135, n:1, pp:111-137 [Journal]
- Gianfranco Mascari, Marisa Venturini Zilli
While-Programs with Nondeterministic Assignments and the Logic Alna. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1985, v:40, n:, pp:211-235 [Journal]
The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|