# Gianfranco Mascari

According to our database

Collaborative distances:

^{1}, Gianfranco Mascari authored at least 11 papers between 1980 and 2009.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2009

The Department Store Metaphor: Organizing, Presenting and Accessing Cultural Heritage Components in a Complex Framework.

Proceedings of the Neural Nets WIRN09, 2009

1994

Head Linear Reduction and Pure Proof Net Extraction.

Theor. Comput. Sci., 1994

1993

Autonomous Posets and Quantales.

ITA, 1993

1990

Model-Theoretic Specifications and Back-and-Forth Equivalences.

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

A Logic of Recursion

Inf. Comput., May, 1989

1986

On the Integration of Numeric and Algebraic Computations.

Proceedings of the Applied Algebra, 1986

1985

While-Programs with Nondeterministic Assignments and the Logic Alna.

Theor. Comput. Sci., 1985

On the Parameterized Algebraic Specification of Concurrent Systems.

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

Abstract Data Types and Categorical Logic.

ADT, 1983

1982

On the Algebraic Specification of Databases.

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1980

Polynomials - The Specification, Analysis and Development of an Abstract Data Type.

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980