Antonio Vincenzi

According to our database, Antonio Vincenzi authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1990

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

Gianfranco Mascari, Antonio Vincenzi

Proceedings of the Recent Trends in Data Type Specification, 1990