Gianfranco Mascari

Publication Activity (10 Years)

Years Active: 1980-2009
Publications (10 Years): 0

Publications

Umberto Maniscalco, Gianfranco Mascari, Giovanni Pilato
The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework. WIRN (2009)
Gianfranco Mascari, Marco Pedicini
Head Linear Reduction and Pure Proof Net Extraction. Theor. Comput. Sci. 135 (1) (1994)
Gianfranco Mascari, F. Pucci
Autonomous Posets and Quantales. RAIRO Theor. Informatics Appl. 27 (6) (1993)
Gianfranco Mascari, Antonio Vincenzi
Model-Theoretic Specifications and Back-and-Forth Equivalences. ADT (1990)
V. Michele Abrusci, Gianfranco Mascari
A Logic of Recursion Inf. Comput. 81 (2) (1989)
Gianfranco Mascari, Alfonso Miola
On the Integration of Numeric and Algebraic Computations. AAECC (1986)
Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 (1985)
Gianfranco Mascari, Marisa Venturini Zilli
While-Programs with Nondeterministic Assignments and the Logic Alna. Theor. Comput. Sci. 40 (1985)
W. Di Palma, Gianfranco Mascari
Abstract Data Types and Categorical Logic. ADT (1983)
Walter Dosch, Gianfranco Mascari, Martin Wirsing
On the Algebraic Specification of Databases. VLDB (1982)
Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung (1980)