HOME > 상세정보

상세정보

Topology and category theory in computer science

Topology and category theory in computer science (2회 대출)

자료유형
단행본
개인저자
Reed, George M. Roscoe, A. W. Wachter, R. F.
서명 / 저자사항
Topology and category theory in computer science / edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter.
발행사항
Oxford :   Clarendon Press ;   New York :   Oxford University Press,   c1991.  
형태사항
xi, 390 p. : ill. ; 24 cm.
ISBN
0198537603 9780198537601
일반주기
"[Papers from] the Oxford Topology Symposium was held on 27-30 June, 1989"--Pref.  
서지주기
Includes bibliographical references.
일반주제명
Computer science -- Mathematics. Topology. Categories (Mathematics)
000 01296pamuu2200337 a 4500
001 000045338131
005 20070324160232
008 910424s1991 enka b 100 0 eng
010 ▼a 91016461
020 ▼a 0198537603
020 ▼a 9780198537601
035 ▼9 (DLC) 91016461
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.9.M35 ▼b T66 1991
082 0 0 ▼a 004/.01/51 ▼2 22
090 ▼a 004.0151 ▼b T675
245 0 0 ▼a Topology and category theory in computer science / ▼c edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter.
260 ▼a Oxford : ▼b Clarendon Press ; ▼a New York : ▼b Oxford University Press, ▼c c1991.
300 ▼a xi, 390 p. : ▼b ill. ; ▼c 24 cm.
500 ▼a "[Papers from] the Oxford Topology Symposium was held on 27-30 June, 1989"--Pref.
504 ▼a Includes bibliographical references.
650 0 ▼a Computer science ▼x Mathematics.
650 0 ▼a Topology.
650 0 ▼a Categories (Mathematics)
700 1 ▼a Reed, George M.
700 1 ▼a Roscoe, A. W.
700 1 ▼a Wachter, R. F.
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.0151 T675 등록번호 121143593 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료

김종원 (2020)