MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Effective Topological Spaces." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Topological design of survivable meshbased transport networks
by Wayne D. Grover, John Doucette — 2001 — Annals of Operations Research
… of edges obtained from separate FCR and SCA sub-problems constitutes an effective topology space within…
Cited by 6 (2 self) – Add To MetaCart

Is wave propagation computable or can wave computers beat the Turing machine?
by Klaus Weihrauch, Ning Zhong — 2002 — PROC. LONDON MATH SOC
…#g and let G ‡ :ˆ G nflg. De®nition 2.2. An effective topological space is a triple S ˆ…M; j; n†, where M…
Cited by 7 (0 self) – Add To MetaCart

Effectivity of regular spaces
by Jens Blanck — 2001 — Computability and Complexity in Analysis, volume 2064 of Lecture Notes in Computer Science
… of effectivity on topological spaces, even much weaker topologies, has been studied by Spreen [15] and Kreitz…
Cited by 1 (1 self) – Add To MetaCart

Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations
by Ralph Loader, Proof-theoretic Characterisations — 1994
… of topological spaces and (effectively) continuous functions. We then analyse the equational theories…
Cited by 10 (0 self) – Add To MetaCart

Mfcsit 2002
by Second Irish Conference — 2002
… multifunctions in the framework of effective topological spaces and study their effective continuity. The re…
Add To MetaCart

Computability of probability measures and martin-löf randomness over metric spaces
by Cristóbal Rojas — 2007
… of randomness to general spaces have previously been proposed: on effective topological spaces by Hertling…
Cited by 2 (1 self) – Add To MetaCart

Uniform test of algorithmic randomness over a general space
by Peter Gács — Theoretical Computer Science
…) be the effective topological space of probability measures over X. If function f : X → R is bounded and computable…
Cited by 17 (1 self) – Add To MetaCart

UNIVERSITÀ DI PISA Ecole Doctorale de Sciences Mathématiques de Paris Centre
by Doctorat En Informatique, Stefano Galatolo, Olivier Bournez, Abbas Edalat, Peter Gács, Olivier Bournez, Roberto Di Cosmo, Abbas Edalat, Bassam Fayad, Stefano Galatolo — 2008
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3 Effective Topological Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1…
Add To MetaCart

Equational Theories for Inductive Types
by Ralph Loader — 1997 — Annals of Pure and Applied Logic
… certain (effective) topological spaces and (effectively) continuous functions between them. The model…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB