Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability DG Skordev (No Title), 1992 | 43 | 1992 |
Combinatory spaces and recursiveness in them DG Skordev Sofia, BAN, 1980 | 26 | 1980 |
2-computable real numbers D Skordev, A Weiermann, I Georgiev Journal of Logic and Computation 22 (4), 899-925, 2012 | 24 | 2012 |
RECURSION THEORY ON ITERATIVE COMBINATORY SPACES. D Skordev | 21 | 1976 |
Computability of real numbers by using a given class of functions in the set of the natural numbers D Skordev Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (S1), 91-106, 2002 | 19 | 2002 |
On equations in words D Skordev, B Sendov Z. Math. Logic Grundlagen Math 7, 289-297, 1961 | 16 | 1961 |
Mathematical logic and its applications DG Skordev Springer Science & Business Media, 2012 | 15 | 2012 |
Mathematical logic and its applications DG Skordev Springer Science & Business Media, 2012 | 15 | 2012 |
An abstract approach to some loop detection problems D Skordev Fundamenta Informaticae 31 (2), 195-212, 1997 | 11 | 1997 |
On a relative computability notion for real functions D Skordev, I Georgiev Models of Computation in Context: 7th Conference on Computability in Europe …, 2011 | 10 | 2011 |
On the Subrecursive Computability of Several Famous Constants. D Skordev J. Univers. Comput. Sci. 14 (6), 861-875, 2008 | 10 | 2008 |
Characterization of the computable real numbers by means of primitive recursive functions D Skordev International Workshop on Computability and Complexity in Analysis, 296-309, 2000 | 9 | 2000 |
Computable and μ-recursive operators DG Skordev Izv. Matem. In-ta Bolg. Akad. Nauk 7, 5-43, 1963 | 9 | 1963 |
On some computability notions for real functions D Skordev Computability 2 (1), 67-73, 2013 | 8 | 2013 |
The new national standard for the Romanization of Bulgarian L Ivanov, D Skordev, D Dobrev Mathematica Balkanica 24 (1-2), 121-130, 2010 | 8 | 2010 |
Cognition horizon and the theory of hyper-random phenomena II Gorban, A Zakrevskij, T Stupina, O Siedlecka, E Ilina, I Nowotyńska, ... International Journal “Information Theories & Applications 16 (1), 5-24, 2009 | 8 | 2009 |
E2-computability of e, π and other famous constants D Skordev Electronic Notes in Theoretical Computer Science 202, 37-47, 2008 | 8 | 2008 |
E2-computability of e, π and other famous constants D Skordev Electronic Notes in Theoretical Computer Science 202, 37-47, 2008 | 8 | 2008 |
The First Recursion Theorem for iterative combinatory spaces D Skordev Mathematical Logic Quarterly 25 (3‐6), 69-77, 1979 | 7 | 1979 |
Some subrecursive versions of Grzegorczyk's Uniformity Theorem D Skordev Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (4‐5), 520-524, 2004 | 6 | 2004 |