close
1.

図書

図書
edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, c1991  390 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Topology, computer science and the mathematics of convergence / A.W. Roscoe
The soundness and completeness of axioms for CSP processes / Stepen Blamey
Classifying unbounded nondeterminism in CSP / Geoff Barrett ; Michael Goldsmith
Algebraic posets, algebraic cpo's and models of concurrency / Michael W. Mislove
Concurrency semantics based on metric domain equations / J.W. de Bakker ; J.J.M.M. Rutten
On topological characterization of behavioral properties / Marta Z. Kwiatkowska
Order and strongly sober compactifications / J.D. Lawson
Totally bounded spaces and compact ordered spaces as domains of computation / Michael B. Smyth
A characterization of effective topological spaces II / Dieter Spreen
The importance of cardinality, separability, and compactness in computer science with an example from numerical signal analysis / Klaus E. Grue
Digital topology: a comparison of the graph-based and topological approaches / T.Y. Kong
Tiling the plane with one tile / D. Girault-Beauquier ; M. Nivat
An algebraic axiomatization of linear logic models / Narcisco Marti-Oliet ; Jose Meseguer
Types as theories / Joseph A. Goguen
Topology, computer science and the mathematics of convergence / A.W. Roscoe
The soundness and completeness of axioms for CSP processes / Stepen Blamey
Classifying unbounded nondeterminism in CSP / Geoff Barrett ; Michael Goldsmith
2.

図書

図書
edited by George M. Reed
出版情報: New York : Academic Press, 1980  xiii, 557 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
edited by Jan van Mill, George M. Reed
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990-2007  2 v. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
General Topology / Part 1:
Selected ordered space problems / H. Bennett ; D. Lutzer1:
Problems on star-covering properties / M. Bonanzinga ; M. Matveev2:
Function space topologies / D.N. Georgiou ; S.D. Iliadis ; F. Mynard3:
Spaces and mappings: special networks / C. Liu ; Y. Tanaka4:
Extension problems of real-valued continuous functions / H. Ohta ; K. Yamazaki5:
LE(k)-spaces / O. Okunev6:
Problems on (ir) resolvability / O. Pavlov7:
Topological games and Ramsey theory / M. Scheepers8:
Selection principles and special sets of reals / B. Tsaban9:
Set-theoretic Topology / Part 2:
Introduction: Twenty problems in set-theoretic topology / M. Hrusák ; J.T. Moore10:
Thin-tall spaces and cardinal sequences / J. Bagaria11:
Sequential order / A. Dow12:
On D-spaces / T. Eisworth13:
The fourth head of BN / I. Farah14:
Are stratifiable spaces M1? / G. Gruenhage15:
Perfect compacta and basis problems in topology / 16:
Selection problems for hyperspaces / V. Gutev ; T. Nogura17:
Efimov's problem / K.P. Hart18:
Completely separable MAD families / P. Simon19:
Good, splendid and Jakovlev / I. Juhász ; W.A.R. Weiss20:
Homogeneous compacta / J. van Mill21:
Compact spaces with hereditarily normal squares / 22:
The metrization problem for Frechet groups / S. Todorcevic23:
Cech-Stone remainders of discrete spaces / P.J. Nyikos24:
First countable, countably compact, noncompact spaces / 25:
Linearly Lindelöf problems / E. Pearl26:
Small Dowker spaces / P.J. Szeptycki27:
Reflection of topological properties to N1 / F.D. Tall28:
The Scarborough-Stone problem / J.E. Vaughan29:
Continuum Theory / Part 3:
Questions in and out of context / D.P. Bellamy30:
An update on the elusive fixed-point property / C.L. Hagopian31:
Hyperspaces of continua / A. Ilanes32:
Inverse limits and dynamical systems / W.T. Ingram33:
Indecomposable continua / W. Lewis34:
Open problems on dendroids / V. Martínez-de-la-Vega ; J.M. Martínez-Montejano35:
1/2-Homogeneous continua / S.B. Nadler, Jr.36:
Thirty open problems in the theory of homogeneous continua / J.R. Prajs37:
Topological Algebra / Part 4:
Problems about the uniform structures of topological groups / A. Bouziad ; J-P. Troallic38:
On some special classes of continuous maps / M.M. Clementino ; D. Hofmann39:
Dense subgroups of compact groups / W.W. Comfort40:
Selected topics from the structure theory of topological groups / D. Dikranjan ; D. Shakhmatov41:
Recent results and open questions relating Chu duality and Bohr compactifications of locally compact groups / J. Galindo ; S. Hernández ; T-S. Wu42:
Topological transformation groups: selected topics / M. Megrelishvili43:
Forty-plus annotated questions about large topological groups / V. Pestov44:
Dynamical Systems / Part 5:
Minimal flows / W.F. Basener ; K. Parwani ; T. Wiandt45:
The dynamics of tiling spaces / A. Clark46:
Open problems in complex dynamics and "complex" topology / R.L. Devaney47:
The topology and dynamics of flows / M.C. Sullivan48:
Computer Science / Part 6:
Computational topology / D. Blackmore ; T.J. Peters49:
Functional Analysis / Part 7:
Non-smooth analysis, optimisation theory and Banach space theory / J.M. Borwein ; W.B. Moors50:
Topological structures of ordinary differential equations / V.V. Filippov51:
The interplay between compact spaces and the Banach spaces of their continuous functions / P. Koszmider52:
Tightness and t-equivalence / 53:
Topological problems in nonlinear and functional analysis / B. Ricceri54:
Twenty questions on metacompactness in function spaces / V.V. Tkachuk55:
Di / Part 8:
General Topology / Part 1:
Selected ordered space problems / H. Bennett ; D. Lutzer1:
Problems on star-covering properties / M. Bonanzinga ; M. Matveev2:
4.

図書

図書
edited by George M. Reed
出版情報: New York : Academic Press, 1977  xv, 436 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼