Languages
Corradini, Andrea.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(1998 :); CIrstea, Corina.; Corradini, Andrea.; Klin, Bartek.; SpringerLink (Online service)
(Electronic resources)
Graph transformationsfirst international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings /
by:
(1998 :); Corradini, Andrea.; SpringerLink (Online service)
(Electronic resources)
Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(1998 :); Corradini, Andrea.; Montanari, Ugo.; SpringerLink (Online service)
(Electronic resources)
Graph TransformationsThird International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /
by:
(1998 :); Corradini, Andrea.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Foundations.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Computer software
Algebra
Models and Principles.
Computer science
Discrete Mathematics in Computer Science.
Computer Science.
Graph grammars
Symbolic and Algebraic Manipulation.