default search action
Categorial Methods in Computer Science 1988
- Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß:
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
Part 1: Fundamental Categorical Methods in Computer Science
- Hartmut Ehrig:
Categorical Concept of Constraints for Algebraic Specifications. 1-15 - John W. Gray:
The Integration of Logical and Algebraic Types. 16-35 - Hans-Jörg Kreowski:
Colimits as Parameterized Data Types. 36-49 - Bernd Mahr:
Empty Carriers: The Categorical Burden on Logic. 50-65 - Ernest G. Manes:
Monads, Matrices and Generalized Dynamic Algebra. 66-81 - Axel Poigné:
Foundations are Rich Institutions, but Institutions are Poor Foundations. 82-101 - Fernando Orejas, Vera Sacristán, Silvia Clerici:
Development of Algebraic Specifications with Constraints. 102-123
Part 2: Applications of Categorical Methods in Computer Science
- Ingo Claßen:
Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language. 124-141 - Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
Objects, Object Types, and Object Identification. 142-156 - Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications. 157-184 - Martin Große-Rhode:
Parameterized Data Type and Process Specifications Using Projection Algebras. 185-197 - Anne E. Haxthausen:
Parameterized Algebraic Domain Equations. 198-219 - Fernando Orejas, Pilar Nivela, Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications. 220-243 - Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. 244-260 - Eric G. Wagner:
On Declarations. 261-277
Part 3: Categorical Aspects from Topology
- H. L. Bentley, Worthen Hunsaker:
Cauchy Sequences in Quasi-Uniform Spaces: Categorical Aspects. 278-285 - Horst Herrlich, Hartmut Ehrig:
The Construct PRO of Projection Spaces: Its Internal Structure. 286-293 - Miroslav Husek:
Categories and Mathematical Morphology. 294-301 - Austin Melton:
Topological Spaces for Cpos. 302-314 - Gerhard Preuß:
On the Topological Structures of Nets. 315-324 - Friedhelm Schwarz:
Description of the Topological Universe Hull. 325-332 - Hajnal Andréka, R. J. Greechie, George E. Strecker:
On Residuated Approximations. 333-339 - Oswald Wyler:
On Convergence of Filters and Ultrafilters to Subsets. 340-350
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: