books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 219; Issue 1-2
Main
Theoretical Computer Science
Volume 219; Issue 1-2
Theoretical Computer Science
Volume 219; Issue 1-2
1
Foreword
Anil Nerode
,
Ker-I Ko
,
Klaus Weihrauch
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 112 KB
Your tags:
english, 1999
2
On the inductive inference of recursive real-valued functions
Kalvis Apsītis
,
Setsuo Arikawa
,
Rũsiņš Freivalds
,
Eiju Hirowatari
,
Carl H. Smith
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 894 KB
Your tags:
english, 1999
3
Effective domain representations of H(X) the space of compact subsets
Jens Blanck
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.91 MB
Your tags:
english, 1999
4
Equality is a jump
Paolo Boldi
,
Sebastiano Vigna
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.10 MB
Your tags:
english, 1999
5
Computability on subsets of Euclidean space I: closed and compact subsets
Vasco Brattka
,
Klaus Weihrauch
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.96 MB
Your tags:
english, 1999
6
Constructive mathematics: a foundation for computable analysis
Douglas S. Bridges
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.00 MB
Your tags:
english, 1999
7
Index sets in computable analysis
Douglas Cenzer
,
Jeffrey B. Remmel
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 2.69 MB
Your tags:
english, 1999
8
Analytic machines
Thomas Chadzelek
,
Günter Hotz
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.17 MB
Your tags:
english, 1999
9
Computable Banach spaces via domain theory
Abbas Edalat
,
Philipp Sünderhauf
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.14 MB
Your tags:
english, 1999
10
On approximate and algebraic computability over the real numbers
Armin Hemmerling
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 2.55 MB
Your tags:
english, 1999
11
An effective Riemann Mapping Theorem
Peter Hertling
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 2.76 MB
Your tags:
english, 1999
12
Markov's constructive analysis; a participant's view
Boris A. Kushner
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.50 MB
Your tags:
english, 1999
13
Computability on random variables
Norbert Th. Müller
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 834 KB
Your tags:
english, 1999
14
On the cost of uniform and nonuniform algorithms
Erich Novak
,
Henryk Woźniakowski
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.10 MB
Your tags:
english, 1999
15
Online computations of differentiable functions
Matthias Schröder
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 854 KB
Your tags:
english, 1999
16
Concrete models of computation for topological algebras
Viggo Stoltenberg-Hansen
,
John V. Tucker
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 2.11 MB
Your tags:
english, 1999
17
Computation by ‘While’ programs on topological partial algebras
J.V. Tucker
,
J.I. Zucker
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 2.52 MB
Your tags:
english, 1999
18
Computability on the probability measures on the Borel sets of the unit interval
Klaus Weihrauch
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.23 MB
Your tags:
english, 1999
19
Effectiveness of the global modulus of continuity on metric spaces
Klaus Weihrauch
,
Zheng Xizhong
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 761 KB
Your tags:
english, 1999
20
Why does information-based complexity use the real number model?
Henryk Woźniakowski
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.09 MB
Your tags:
english, 1999
21
Effective properties of sets and functions in metric spaces with computability structure
Mariko Yasugi
,
Takakazu Mori
,
Yoshiki Tsujii
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 1999
22
Computability structure of the Sobolev spaces and its applications
Ning Zhong
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.27 MB
Your tags:
english, 1999
23
From axiomatics to intrinsic characterization: Some open problems in computable analysis
Marian Boykan Pour-El
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 743 KB
Your tags:
english, 1999
24
Author index volume 219 (1999)
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1999
25
Editorial Board
Journal:
Theoretical Computer Science
Year:
1999
File:
PDF, 266 KB
Your tags:
1999
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×