Corradini, Andrea, 1960-....
Corradini, Andrea
Corradini, A. 1960-
Corradini, A. (Andrea), 1960-
Andrea Corradini
VIAF ID: 120023336 (Personal)
Permalink: http://viaf.org/viaf/120023336
Preferred Forms
- 100 0 _ ‡a Andrea Corradini
- 100 1 _ ‡a Corradini, A. ‡d 1960-
-
-
- 100 1 _ ‡a Corradini, Andrea (sparse)
-
-
-
-
- 100 1 _ ‡a Corradini, Andrea, ‡d 1960-
-
- 100 1 _ ‡a Corradini, Andrea, ‡d 1960-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings | |
A complete calculus for equational deduction in coalgebraic specification | |
General theory of graph transformations : [preliminary proceedings of the] final workshop, Bordeaux, June 22-23, 2000 | |
Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings | |
ICALP workshops 2000 | |
ICGT 2006 | |
Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers | |
SEGRAGRA'95 : graph rewriting and computation : proceedings |