Abstract is missing.
- Categorical Concept of Constraints for Algebraic SpecificationsHartmut Ehrig. 1-15
- The Integration of Logical and Algebraic TypesJohn W. Gray. 16-35
- Colimits as Parameterized Data TypesHans-Jörg Kreowski. 36-49
- Empty Carriers: The Categorical Burden on LogicBernd Mahr. 50-65
- Monads, Matrices and Generalized Dynamic AlgebraErnest G. Manes. 66-81
- Foundations are Rich Institutions, but Institutions are Poor FoundationsAxel Poigné. 82-101
- Development of Algebraic Specifications with ConstraintsFernando Orejas, Vera Sacristan, Silvia Clerici. 102-123
- Revised ACT ONE: Categorical Constructions for an Algebraic Specification LanguageIngo Claßen. 124-141
- Objects, Object Types, and Object IdentificationHans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas. 142-156
- Categories for the Development of Algebraic Module SpecificationsHartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce. 157-184
- Parameterized Data Type and Process Specifications Using Projection AlgebrasMartin Große-Rhode. 185-197
- Parameterized Algebraic Domain EquationsAnne Elisabeth Haxthausen. 198-219
- Semantical Constructions for Categories of Behavioural SpecificationsFernando Orejas, Pilar Nivela, Hartmut Ehrig. 220-243
- Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter PassingZhenyu Qian. 244-260
- On DeclarationsEric G. Wagner. 261-277
- Cauchy Sequences in Quasi-Uniform Spaces: Categorical AspectsH. L. Bentley, Worthen Hunsaker. 278-285
- The Construct PRO of Projection Spaces: Its Internal StructureHorst Herrlich, Hartmut Ehrig. 286-293
- Categories and Mathematical MorphologyMiroslav Husek. 294-301
- Topological Spaces for CposAustin Melton. 302-314
- On the Topological Structures of NetsGerhard Preuß. 315-324
- Description of the Topological Universe HullFriedhelm Schwarz. 325-332
- On Residuated ApproximationsHajnal Andréka, R. J. Greechie, George E. Strecker. 333-339
- On Convergence of Filters and Ultrafilters to SubsetsOswald Wyler. 340-350