Categorical Methods in Computer Science With Aspects from Topology, edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß, (electronic resource)

Resource Information

The instance Categorical Methods in Computer Science With Aspects from Topology, edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß, (electronic resource) represents a material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://covers.openlibrary.org/b/isbn/9783540467878-M.jpg?default=false

Label

Categorical Methods in Computer Science With Aspects from Topology, edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß, (electronic resource)

Medium

electronic resource

Statement of responsibility

edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß

Instantiates

• Categorical Methods in Computer Science With Aspects from Topology

Publication

• Berlin, Heidelberg, Springer Berlin Heidelberg, 1989

Antecedent source

mixed

Carrier category

online resource

Carrier category code

cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

txt

Content type MARC source

rdacontent

Contents

A categorical concept of constraints for algebraic specifications -- The integration of logical and algebraic types -- Colimits as parameterized data types -- Empty carriers: The categorical burden on logic -- Monads, matrices and generalized dynamic algebra -- Foundations are rich institutions, but institutions are poor foundations -- Development of algebraic specifications with constraints -- Revised ACT ONE: Categorical constructions for an algebraic specification language -- Objects, object types, and object identification -- Categories for the development of algebraic module specifications -- Parameterized data type and process specifications using projection algebras -- Parameterized algebraic domain equations -- Semantical constructions for categories of behavioural specifications -- Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing -- On declarations -- Cauchy sequences in quasi-uniform spaces: Categorical aspects -- The construct PRO of projection spaces: its internal structure -- Categories and mathematical morphology -- Topological spaces for cpos -- On the topological structures of nets -- Description of the topological universe hull -- On residuated approximations -- On convergence of filters and ultrafilters to subsets

Dimensions

unknown

Extent

VI, 354 p.

File format

multiple file formats

Form of item

electronic

Isbn

9783540467878

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

c

Other control number

10.1007/3-540-51722-7

Other physical details

online resource.

Quality assurance targets

absent

Record ID

992079139101161

Reformatting quality

access

Specific material designation

remote

System control number

(DE-He213)978-3-540-46787-8