Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß (Eds.):
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany].
Lecture Notes in Computer Science 393 Springer 1989, ISBN 3-540-51722-7 BibTeX
@proceedings{DBLP:conf/category/1988,
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans-J{\"o}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
booktitle = {Categorial Methods in Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {393},
year = {1989},
isbn = {3-540-51722-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Part 1:
Fundamental Categorical Methods in Computer Science
Part 2:
Applications of Categorical Methods in Computer Science
- Ingo Claßen:
Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language.
124-141 BibTeX
- Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
Objects, Object Types, and Object Identification.
142-156 BibTeX
- Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications.
157-184 BibTeX
- Martin Große-Rhode:
Parameterized Data Type and Process Specifications Using Projection Algebras.
185-197 BibTeX
- Anne Elisabeth Haxthausen:
Parameterized Algebraic Domain Equations.
198-219 BibTeX
- Fernando Orejas, Pilar Nivela, Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications.
220-243 BibTeX
- Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.
244-260 BibTeX
- Eric G. Wagner:
On Declarations.
261-277 BibTeX
Part 3:
Categorical Aspects from Topology
Copyright © Sat May 16 23:00:34 2009
by Michael Ley (ley@uni-trier.de)
