Gianfranco Mascari

According to our database1, 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


  Loading...