Matches in SemOpenAlex for { <https://semopenalex.org/work/W63176152> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W63176152 abstract "A.W. Roscoe: Topology, computer science and the mathematics of convergence Stepen Blamey: The soundness and completeness of axioms for CSP processes Geoff Barrett & Michael Goldsmith: Classifying unbounded nondeterminism in CSP Michael W. Mislove: Algebraic posets, algebraic cpo's and models of concurrency J.W. de Bakker & J.J.M.M. Rutten: Concurrency semantics based on metric domain equations Marta Z. Kwiatkowska: On topological characterization of behavioral properties J.D. Lawson: Order and strongly sober compactifications Michael B. Smyth: Totally bounded spaces and compact ordered spaces as domains of computation Dieter Spreen: A characterization of effective topological spaces II Klaus E. Grue: The importance of cardinality, separability, and compactness in computer science with an example from numerical signal analysis T.Y. Kong: Digital topology: a comparison of the graph-based and topological approaches D. Girault-Beauquier & M. Nivat: Tiling the plane with one tile Narcisco Marti-Oliet & Jose Meseguer: An algebraic axiomatization of linear logic models Joseph A. Goguen: Types as theories." @default.
- W63176152 created "2016-06-24" @default.
- W63176152 creator A5014479987 @default.
- W63176152 creator A5019774198 @default.
- W63176152 creator A5045639409 @default.
- W63176152 date "1991-09-26" @default.
- W63176152 modified "2023-09-28" @default.
- W63176152 title "Topology and category theory in computer science" @default.
- W63176152 hasPublicationYear "1991" @default.
- W63176152 type Work @default.
- W63176152 sameAs 63176152 @default.
- W63176152 citedByCount "36" @default.
- W63176152 countsByYear W631761522012 @default.
- W63176152 countsByYear W631761522017 @default.
- W63176152 crossrefType "book" @default.
- W63176152 hasAuthorship W63176152A5014479987 @default.
- W63176152 hasAuthorship W63176152A5019774198 @default.
- W63176152 hasAuthorship W63176152A5045639409 @default.
- W63176152 hasConcept C111919701 @default.
- W63176152 hasConcept C114614502 @default.
- W63176152 hasConcept C118615104 @default.
- W63176152 hasConcept C134306372 @default.
- W63176152 hasConcept C136119220 @default.
- W63176152 hasConcept C145054310 @default.
- W63176152 hasConcept C167729594 @default.
- W63176152 hasConcept C184720557 @default.
- W63176152 hasConcept C193702766 @default.
- W63176152 hasConcept C202444582 @default.
- W63176152 hasConcept C2524010 @default.
- W63176152 hasConcept C33923547 @default.
- W63176152 hasConcept C34388435 @default.
- W63176152 hasConcept C41008148 @default.
- W63176152 hasConcept C5961521 @default.
- W63176152 hasConcept C9376300 @default.
- W63176152 hasConceptScore W63176152C111919701 @default.
- W63176152 hasConceptScore W63176152C114614502 @default.
- W63176152 hasConceptScore W63176152C118615104 @default.
- W63176152 hasConceptScore W63176152C134306372 @default.
- W63176152 hasConceptScore W63176152C136119220 @default.
- W63176152 hasConceptScore W63176152C145054310 @default.
- W63176152 hasConceptScore W63176152C167729594 @default.
- W63176152 hasConceptScore W63176152C184720557 @default.
- W63176152 hasConceptScore W63176152C193702766 @default.
- W63176152 hasConceptScore W63176152C202444582 @default.
- W63176152 hasConceptScore W63176152C2524010 @default.
- W63176152 hasConceptScore W63176152C33923547 @default.
- W63176152 hasConceptScore W63176152C34388435 @default.
- W63176152 hasConceptScore W63176152C41008148 @default.
- W63176152 hasConceptScore W63176152C5961521 @default.
- W63176152 hasConceptScore W63176152C9376300 @default.
- W63176152 hasLocation W631761521 @default.
- W63176152 hasOpenAccess W63176152 @default.
- W63176152 hasPrimaryLocation W631761521 @default.
- W63176152 hasRelatedWork W1557973150 @default.
- W63176152 hasRelatedWork W1559626229 @default.
- W63176152 hasRelatedWork W1582269801 @default.
- W63176152 hasRelatedWork W16080872 @default.
- W63176152 hasRelatedWork W195755400 @default.
- W63176152 hasRelatedWork W1984190214 @default.
- W63176152 hasRelatedWork W2010883554 @default.
- W63176152 hasRelatedWork W2020879982 @default.
- W63176152 hasRelatedWork W2028226764 @default.
- W63176152 hasRelatedWork W2047277075 @default.
- W63176152 hasRelatedWork W2062990109 @default.
- W63176152 hasRelatedWork W2081233506 @default.
- W63176152 hasRelatedWork W2093397547 @default.
- W63176152 hasRelatedWork W2094576521 @default.
- W63176152 hasRelatedWork W2110149567 @default.
- W63176152 hasRelatedWork W2120713972 @default.
- W63176152 hasRelatedWork W2470313910 @default.
- W63176152 hasRelatedWork W2914212232 @default.
- W63176152 hasRelatedWork W568516392 @default.
- W63176152 hasRelatedWork W78613561 @default.
- W63176152 isParatext "false" @default.
- W63176152 isRetracted "false" @default.
- W63176152 magId "63176152" @default.
- W63176152 workType "book" @default.