Scollo, G.
Scollo, Giuseppe, 1953-
Giuseppe Scollo
Scollo, Giuseppe, 1953-...., mathématicien
Scollo, Giuseppe
Scollo, G. (Giuseppe)
VIAF ID: 2153991 ( Personal )
Permalink: http://viaf.org/viaf/2153991
Preferred Forms
- 100 0 _ ‡a Giuseppe Scollo
- 100 1 _ ‡a Scollo, G.
-
-
- 100 1 _ ‡a Scollo, G. ‡q (Giuseppe)
- 100 1 _ ‡a Scollo, Giuseppe (sparse)
-
- 100 1 _ ‡a Scollo, Giuseppe ‡d 1953-
-
- 100 1 _ ‡a Scollo, Giuseppe, ‡d 1953-...., ‡c mathématicien
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Algebraic methods in language processing | |
Equational type logic | |
Interpolation and compactness in categories of pre-institutions | |
On the engineering of logics | |
Protocol, specification, testing, and verification, IX, proceedings of the IFIP WG 6.1 Ninth International Symposium of Protocol Specification, Testing, and Verification, Enschede, the Netherlands, 6-9 June, 1989 / edited by Ed Brinksma, Guiseppe Scollo, Chris A. Vissers | |
Selected papers of the Third International Conference on Algebraic Methodology of [i.e. and] Software Technology (AMAST '93), University of Twente, Enschede, the Netherlands, 21-25 June 1993 | |
A soft stairway to institutions |