Antonio Vincenzi

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Gianfranco Mascari, Antonio Vincenzi
Model-Theoretic Specifications and Back-and-Forth Equivalences. ADT (1990)