-
1
-
-
0039681742
-
Randomness in computability theory
-
P. A. Cholak et al. (eds.). Contemporary Mathematics 257. American Mathematical Society, Providence, RI
-
K. Ambos-Spies and A. Kučera. Randomness in computability theory. In P. A. Cholak et al. (eds.), Camputability Theory and Its Applications.Current Trends and Open Problems, pp. 1-14. Contemporary Mathematics 257. American Mathematical Society, Providence, RI, 2000.
-
(2000)
Camputability Theory and Its Applications. Current Trends and Open Problems
, pp. 1-14
-
-
Ambos-Spies, K.1
Kučera, A.2
-
2
-
-
0003130451
-
Resource-bounded measure and randomness
-
A. Sorbi (ed.). Marcel Dekker, New York
-
K. Ambos-Spies and E. Mayordomo. Resource-bounded measure and randomness. In A. Sorbi (ed.), Complexity, Logic, and Recursion Theory, pp. 1-47. Marcel Dekker, New York, 1997.
-
(1997)
Complexity, Logic, and Recursion Theory
, pp. 1-47
-
-
Ambos-Spies, K.1
Mayordomo, E.2
-
5
-
-
0037185197
-
A characterization of c.e. random reals
-
C. S. Calude. A characterization of c.e. random reals. Theoretical Computer Science 271:3-14, 2002.
-
(2002)
Theoretical Computer Science
, vol.271
, pp. 3-14
-
-
Calude, C.S.1
-
6
-
-
0034899598
-
Recursively enumerable reals and Chaitin Ω numbers
-
C. S. Calude, P. H. Hertling, B. Khoussainov, and Y. Wang. Recursively enumerable reals and Chaitin Ω numbers. Theoretical Computer Science 255:125-149, 2001.
-
(2001)
Theoretical Computer Science
, vol.255
, pp. 125-149
-
-
Calude, C.S.1
Hertling, P.H.2
Khoussainov, B.3
Wang, Y.4
-
7
-
-
33748533426
-
-
M. Morvan et al. (eds.). Lecture Notes in Computer Science 1373. Springer, Berlin
-
A preliminary version appeared in M. Morvan et al. (eds.), Proc. 15th Symposium on Theoietical Aspects of Computer Science, pp. 596-606. Lecture Notes in Computer Science 1373. Springer, Berlin, 1998.
-
(1998)
Proc. 15th Symposium on Theoietical Aspects of Computer Science
, pp. 596-606
-
-
-
8
-
-
8744266320
-
On Schnorr and computable randomness, martingales, and machines
-
R. Downey, E. Griffiths, and G. LaForte. On Schnorr and computable randomness, martingales, and machines. Mathematical Logic Quarterly 50(6):613-627, 2004.
-
(2004)
Mathematical Logic Quarterly
, vol.50
, Issue.6
, pp. 613-627
-
-
Downey, R.1
Griffiths, E.2
LaForte, G.3
-
11
-
-
16244380485
-
Small spans in scaled dimension
-
J. M. Hitchcock. Small spans in scaled dimension. SIAM Journal on Computing 34(1): 170-194, 2004.
-
(2004)
SIAM Journal on Computing
, vol.34
, Issue.1
, pp. 170-194
-
-
Hitchcock, J.M.1
-
14
-
-
33748581881
-
-
P. Widmayer et al. (eds.). Lecture Notes in Computer Science 2380. Springer, Berlin
-
A preliminary version appeared in P. Widmayer et al. (eds.), Proc. 29th International Colloquium on Automata, Languages and Programming, pp. 549-560. Lecture Notes in Computer Science 2380. Springer, Berlin, 2002.
-
(2002)
Proc. 29th International Colloquium on Automata, Languages and Programming
, pp. 549-560
-
-
-
15
-
-
0000701330
-
0-classes and complete extensions of PA
-
H.-D. Ebbinghaus et al. (eds.). Lecture Notes in Mathematics 1141. Springer, Berlin
-
0-classes and complete extensions of PA. In H.-D. Ebbinghaus et al. (eds.), Recursion Theory Week, pp. 245-259. Lecture Notes in Mathematics 1141. Springer, Berlin, 1985.
-
(1985)
Recursion Theory Week
, pp. 245-259
-
-
Kučera, A.1
-
16
-
-
84875564472
-
Randomness and generalizations of fixed point free functions
-
K. Ambos-Spies et al. (eds.). Lecture Notes in Mathematics 1432. Springer, Berlin
-
A. Kučera. Randomness and generalizations of fixed point free functions. In K. Ambos-Spies et al. (eds.), Recursion Theory Week, pp. 245-254. Lecture Notes in Mathematics 1432. Springer, Berlin, 1990.
-
(1990)
Recursion Theory Week
, pp. 245-254
-
-
Kučera, A.1
-
17
-
-
0036214633
-
Randomness and recursive enumerability
-
A. Kučera and T. A. Slaman. Randomness and recursive enumerability. SIAM Journal on Computing 31(1):199-211, 2001.
-
(2001)
SIAM Journal on Computing
, vol.31
, Issue.1
, pp. 199-211
-
-
Kučera, A.1
Slaman, T.A.2
-
19
-
-
0026851355
-
Almost everywhere high nonuniform complexity
-
J. H. Lutz. Almost everywhere high nonuniform complexity. Journal of Computer and System Sciences 44:220-258, 1992.
-
(1992)
Journal of Computer and System Sciences
, vol.44
, pp. 220-258
-
-
Lutz, J.H.1
-
20
-
-
0000923207
-
The quantitative structure of exponential time
-
L. A. Hemaspaandra and A. L. Selman (eds.). Springer, New York
-
J. H. Lutz. The quantitative structure of exponential time. In L. A. Hemaspaandra and A. L. Selman (eds.), Complexity Theory Retrospective II, pp. 225-260. Springer, New York, 1997.
-
(1997)
Complexity Theory Retrospective II
, pp. 225-260
-
-
Lutz, J.H.1
-
21
-
-
18344371384
-
The definition of random sequences
-
P. Martin-Löf. The definition of random sequences. Information and Control 9(6):602-619, 1966.
-
(1966)
Information and Control
, vol.9
, Issue.6
, pp. 602-619
-
-
Martin-Löf, P.1
-
24
-
-
0000583779
-
A unified approach to the definition of random sequences
-
C.-P. Schnorr. A unified approach to the definition of random sequences. Mathematical Systems Theory 5:246-258, 1971.
-
(1971)
Mathematical Systems Theory
, vol.5
, pp. 246-258
-
-
Schnorr, C.-P.1
-
29
-
-
0008961564
-
-
Doctoral dissertation, Universiteit van Amsterdam, Amsterdam
-
S. A. Terwijn. Computability and Measure. Doctoral dissertation, Universiteit van Amsterdam, Amsterdam, 1998.
-
(1998)
Computability and Measure
-
-
Terwijn, S.A.1
-
30
-
-
84875554867
-
-
S. A. Terwijn. Unpublished notes, 1998
-
S. A. Terwijn. Unpublished notes, 1998.
-
-
-
-
32
-
-
0040914306
-
A separation of two randomness concepts
-
Y. Wang. A Separation of two randomness concepts. Information Processing Letters 69:115-118, 1999.
-
(1999)
Information Processing Letters
, vol.69
, pp. 115-118
-
-
Wang, Y.1
|