03 Mathematical logic and foundations
03Dxx Computability and recursion theory
03D20 Recursive functions and relations, subrecursive hierarchies (8 articles)
- : The limit lemma in fragments of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 44 (2003), issue 3, pp. 565-568
- : Arithmetical classification of the set of all provably recursive functions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 40 (1999), issue 4, pp. 631-634
- : E. T. a infinitární Churchova teze. (Czech) [ET and infinitary Church's thesis]. Pokroky matematiky, fyziky a astronomie, vol. 41 (1996), issue 2, pp. 82-89
- : The complexity of uniform distribution. (English). Mathematica Slovaca, vol. 44 (1994), issue 5, pp. 491-500
- : Refinements of inductive inference by Popperian and reliable machines. (English). Kybernetika, vol. 30 (1994), issue 1, pp. 23-52
- : On extremum-searching approximate probabilistic algorithms. (English). Kybernetika, vol. 19 (1983), issue 5, pp. 365-373
- : Horn clause programs and recursive functions defined by systems of equations. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 106-120
- : Algorithmization of algebras and relational structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 457-477
Search
Partner of
