Gianfranco Mascari

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
c7		Umberto Maniscalco, Gianfranco Mascari, Giovanni Pilato: The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework. WIRN 2009: 332-337
	1994
j4		Gianfranco Mascari, Marco Pedicini: Head Linear Reduction and Pure Proof Net Extraction. Theor. Comput. Sci. 135(1): 111-137 (1994)
	1993
j3		Gianfranco Mascari, F. Pucci: Autonomous Posets and Quantales. ITA 27(6): 483-501 (1993)
	1990
c6		Gianfranco Mascari, Antonio Vincenzi: Model-Theoretic Specifications and Back-and-Forth Equivalences. ADT 1990: 166-184
	1989
j2		V. Michele Abrusci, Gianfranco Mascari: A Logic of Recursion. Inf. Comput. 81(2): 168-226 (1989)
	1986
c5		Gianfranco Mascari, Alfonso Miola: On the Integration of Numeric and Algebraic Computations. AAECC 1986: 77-87
	1985
j1		Gianfranco Mascari, Marisa Venturini Zilli: While-Programs with Nondeterministic Assignments and the Logic Alna. Theor. Comput. Sci. 40: 211-235 (1985)
c4		Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
	1983
c3		W. Di Palma, Gianfranco Mascari: Abstract Data Types and Categorical Logic. ADT 1983
	1982
c2		Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
	1980
c1		Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari: Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320

Coauthor Index

Last update Sat May 25 14:13:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page