dblp.uni-trier.dewww.uni-trier.de

Gianfranco Mascari Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
6EEGianfranco Mascari, Alfonso Miola: On the Integration of Numeric and Algebraic Computations. AAECC 1986: 77-87
1985
5EEEgidio 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
2EEWalter 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

Coauthor Index

1V. Michele Abrusci [7]
2Egidio Astesiano [5]
3Giorgio Ausiello [1]
4Walter Dosch [1] [2]
5Alfonso Miola [6]
6W. Di Palma [3]
7Marco Pedicini [10]
8F. Pucci [9]
9Gianna Reggio [5]
10Antonio Vincenzi [8]
11Martin Wirsing [1] [2] [5]
12Marisa Venturini Zilli [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)