Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540517221, 9783540467878

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The integration of logical and algebraic types

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_2 ◽

1989 ◽

pp. 16-35 ◽

Cited By ~ 3

Author(s):

John W. Gray

Download Full-text

Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_14 ◽

1989 ◽

pp. 244-260 ◽

Cited By ~ 3

Author(s):

Zhenyu Qian

Keyword(s):

Algebraic Specifications ◽

Parameter Passing

Download Full-text

Cauchy sequences in quasi-uniform spaces: Categorical aspects

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_16 ◽

1989 ◽

pp. 278-285

Author(s):

H. L. Bentley ◽

W. N. Hunsaker

Keyword(s):

Uniform Spaces ◽

Cauchy Sequences

Download Full-text

On convergence of filters and ultrafilters to subsets

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_23 ◽

1989 ◽

pp. 340-350 ◽

Cited By ~ 3

Author(s):

Oswald Wyler

Download Full-text

Topological spaces for cpos

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_19 ◽

1989 ◽

pp. 302-314 ◽

Cited By ~ 1

Author(s):

Austin Melton

Keyword(s):

Topological Spaces

Download Full-text

On the topological structures of nets

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_20 ◽

1989 ◽

pp. 315-324 ◽

Cited By ~ 1

Author(s):

Gerhard Preuß

Keyword(s):

Topological Structures

Download Full-text

Monads, matrices and generalized dynamic algebra

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_5 ◽

1989 ◽

pp. 66-81 ◽

Cited By ~ 2

Author(s):

Ernest G. Manes

Download Full-text

The construct PRO of projection spaces: its internal structure

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_17 ◽

1989 ◽

pp. 286-293 ◽

Cited By ~ 5

Author(s):

Horst Herrlich ◽

Hartmut Ehrig

Keyword(s):

Internal Structure

Download Full-text

Objects, object types, and object identification

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_9 ◽

1989 ◽

pp. 142-156 ◽

Cited By ~ 7

Author(s):

H. -D. Ehrich ◽

A. Sernadas ◽

C. Sernadas

Keyword(s):

Object Identification

Download Full-text

Development of algebraic specifications with constraints

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science ◽

10.1007/3-540-51722-7_7 ◽

1989 ◽

pp. 102-123 ◽

Cited By ~ 10

Author(s):

F. Orejas ◽

V. Sacristán ◽

S. Clerici

Keyword(s):

Algebraic Specifications

Download Full-text

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The integration of logical and algebraic types

Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing

Cauchy sequences in quasi-uniform spaces: Categorical aspects

On convergence of filters and ultrafilters to subsets

Topological spaces for cpos

On the topological structures of nets

Monads, matrices and generalized dynamic algebra

The construct PRO of projection spaces: its internal structure

Objects, object types, and object identification

Development of algebraic specifications with constraints

Categorical Methods in Computer Science With Aspects from Topology - Lecture Notes in Computer Science
Latest Publications