Scientific publications of Dimiter Skordev

  1. D. Skordev. A simple characterization of the computability of real functions. Год. на Соф. унив., ФМИ, 101 (2013), 115-122.

  2. D. Skordev. Approximation systems for functions in topological and in metric spaces. Logical Methods in Computer Science, 9(4:15)2013, 1-21.

  3. D. Skordev. On some computability notions for real functions. Computability, 2 (2013), 67-73, doi: 10.3233/COM-13018.

  4. I. Georgiev, D. Skordev. Conditional computability of real functions with respect to a class of operators. Ann. Pure Appl. Logic, 164 (2013), 550-565, doi: 10.1016/j.apal.2012.11.004.

  5. D. Skordev. An epsilon-delta characterization of a certain TTE computability notion. arXiv:1207.7270 [math.LO], 2012.

  6. D. Skordev, A. Weiermann, I. Georgiev. M2-computable real numbers. Journal of Logic and Computation, 22 (2012), 899-925, doi: 10.1093/logcom/exq050.

  7. D. Skordev. Uniform computability of real functions. In: 120 Years Faculty of Mathematics and Informatics, St.  Kliment Ohridski University of Sofia, Proceedings, St.  Kliment Ohridski University Press, Sofia, 2011, 179-185.

  8. D. Skordev, I. Georgiev. On a relative computability notion for real functions. In: B. Löwe, D. Normann, I. Soskov, A. Soskova (editors), Models of Computation in Context, 7th Conference on Computability in Europe, CiE2011, Sofia, Bulgaria, June 27–July 2, 2011, Proceedings, Lecture Notes in Computer Science, vol. 6735, 2011, 270-279, doi: 10.1007/978-3-642-21875-0_29.

    Corrigendum. On p. 276, line 8 from above, “-computable and” must be replaced by “-computable, certain other functions which can be easily shown to be such ones too and”.

  9. L. Ivanov, D. Skordev, D. Dobrev. The new national standard for the Romanization of Bulgarian. Mathematica Balkanica, 24 (2010), Fasc. 1-2, 121-130.

    Corrigenda (not concerning the online copy of the paper). On p. 123, line 2 from above and line 1 from below, “(ALA-LC System” and “systems” must be replaced by “(ALA-LC System)” and “system's”, respectively. On p. 126, lines 4 and 3 from below, “hence one should” must be replaced by “one should also”.
    Remark 1. It is written “Received 15.09.2009” on the last page of the paper. However, its full text was actually submitted near to the end of November 2009.
    Remark 2. In section 3 of the online copy of the paper, one more transliteration of the letter ъ is indicated, namely its transliteration by â (this transliteration is adopted, for instance, in a spelling dictionary of Bulgarian language published in 1981). The information about the paper [21] in the references was updated after the publication of the paper.

  10. D. Skordev. Transliteration and longest match strategy. International Journal «Information Theories and Applications», 16 (2009), 90-99.

  11. D. Skordev, A. Weiermann. M²-computable real numbers. Workshop on Computability Theory 2009 (Sofia, August 6 – August 7, 2009).

  12. D. Skordev. A reducibility in the theory of iterative combinatory spaces. Год. на Соф. унив., ФМИ, 98 (2008), 87-99.

  13. D. Skordev. On a class of bases for Boolean functions.  In: Vsemirnov, M. A. (editor), Studies in Constructive Mathematics and Mathematical Logic, Part XI, vol. 358, 2008, of Zapiski Nauchnyh Seminarov POMI, pp. 271-281.

    Corrigenda. The last sentence in the paragraph before Remark 3 must be omitted. On p. 276, line 12 from above, “reguired” must be replaced by “required”.

    Appeared also (with small editorial changes) in: J. of Math. Sciences, 158 (2009), No. 5, 753-758, doi: 10.1007/s10958-009-9398-y.

  14. D. Skordev. On the subrecursive computability of several famous constants.  Journal of Universal Computer Science, 14, 2008, 861-875, doi: 10.3217/jucs-014-06-0861.

  15. Д. Скордев. Един клас от базиси за двоичните функции. Научна сесия, 29 март 2008 г., секция „Математическа логика“, Софийски университет „Св. Климент Охридски“, Факултет по математика и информатика.

  16. D. Skordev. E2-computability of e, π and other famous constants.  Electronic Notes in Theoretical Computer Science, 202 (2008), 37-47, doi: 10.1016/j.entcs.2008.03.006 (appeared also in: R. Dillhage, T. Grubba, A. Sorbi, K. Weihrauch, N. Zhong (editors), Computability and Complexity in Analysis, vol. 338-6 of Informatik Berichte, pp. 357-366. FernUniversität Hagen, May 2007).

    Corrigenda concerning the publication in Informatik Berichte. In footnote 2, “sequence or” must be replaced by “sequence of”. On p. 358, line 9 from below, “a rational numbers” must be replaced by “rational numbers”.

  17. P. Peshev, D. Skordev. A subrecursive refinement of the fundamental theorem of algebra. In: A. Beckmann, U. Berger, B. Löwe, J. V. Tucker (editors), Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, Lecture Notes in Computer Science, vol. 3988, 2006, 435 - 444, doi: 10.1007/11780342_45.

  18. D. Skordev. Randomized first order computability. Abstract. In: Proceedings of the 5th Panhellenic Logic Symposium (Athens, July 25-28, 2005), Univ. of Athens, 2005, 14-15.

  19. D. Skordev. A computability notion for locally finite lattices. In: S. B. Cooper, B. Löwe, and L. Torenvliet (editors), CIE 2005: New Computational Paradigms, Univ. of Amsterdam, ILLC Publications, Technical Notes (X) Series, X-2005-01, 2005, 198-207.

  20. D. Skordev. Some subrecursive versions of Grzegorczyk's Uniformity Theorem. Math. Log. Quart., 50 (2004), No. 4/5, 520-524, doi 10.1002/malq.200310117.

    Corrigendum. On the last line before the formulation of Theorem 2.4 in the published paper,  Ψ must be replaced with  Ω.

  21. D. Skordev. Maximal depths of boolean functions. Год. на Соф. унив., ФМИ, 96 (2002), 2004, 89-99.

  22. D. Skordev. Computability of real numbers by using a given class of functions in the set of the natural numbers. Math. Log. Quart., 48 (2002), Suppl. 1, 91-106, doi: 10.1002/1521-3870(200210)48:1+<91::AID-MALQ91>3.0.CO;2-L.

  23. D. Skordev. On the duration domains for the Interval Temporal Logic. Год. на Соф. унив., ФМИ, 94 (2000), 2001, 27-33.

  24. D. Skordev. Characterization of the computable real numbers by means of primitive recursive functions. In: J. Blanck, V. Brattka, and P. Hertling (editors), Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, Lecture Notes in Computer Science, vol. 2064, 2001, 296-309, doi: 10.1007/3-540-45335-0_17.
        Preliminary version:
    D. Skordev. A characterization of the computable real numbers by means of primitive recursive functions. In: J. Blanck, V. Brattka, P. Hertling, and K. Weihrauch (editors), Computability and Complexity in Analysis, vol. 272 of Informatik Berichte, pp. 389-394. FernUniversität Hagen, September 2000.

  25. D. Skordev. On the computer proof of a result in the abstract theory of segments. First St. Petersburg Days of Logic and Computability (May 26-29, 1999), Steklov Institute of Mathematics, St. Petersburg, Russia.
  26. D. Skordev. A separation theorem of Y. Tagamlitzki in its natural generality. Год. на Соф. унив., ФМИ, 91 (1997), 1999, 73-78.

  27. D. Skordev. An algorithmic approach to some problems on the representation of natural numbers as sums without repetitions. Год. на Соф. унив., ФМИ, 89 (1995), 1998, 89-99.

  28. D. Skordev. On the detection of some loops in recursive computations. Год. на Соф. унив., ФМИ, 87 (1993), 1999, 203-222.

  29. D. Skordev. An abstract approach to some loop detection problems. Fundamenta Informaticae, 31 (1997), 195-212, doi: 10.3233/FI-1997-31207.

  30. D. Skordev. On the detection of some periodic loops during the execution of Prolog programs. In: Algebraic Methods in Logic and in Computer Science, Banach Center Publications, vol. 28, Warsaw, 1993, 151-166.

    Corrigenda. On p. 162, line 7 from above, and line 13 from below, “0,1,3,8,15,31,63,…” and “Two examples” must be replaced by “0,1,3,7,15,31,63,…” and “Several examples”, respectively.

  31. D. Skordev. On the average delay of the detection of cyclic loops. Год. на Соф. унив., ФМИ, 85 (1991), 1993, 13-34.

  32. D. Skordev. Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability. Dordrecht-Boston-London, Kluwer Academic Publishers, 1992, xiv, 320 pp.

    Corrigenda (not concerning the current version of the online copy of the book). On p. xiii, line 18 from below, “three chapters” must be replaced by “three chapters and an appendix”, and “appendices” must be replaced by “appendix” on the next line. On p. xiv, line 3 from above, “The work of” must be replaced by “The work on”. On p. 4, line 9 from above, “Π” must be replaced by “Π*”. On p. 84, line 16 from below, “Bekic” must be replaced by “Bekić”. On p. 154, line 5 from below, “Γ'” must be replaced by “Γ'(”. On p. 229, line 18 from above, the bar must be over “0” instead of being over “c”. All occurrences of “vii” and “viii” on pp. 315-316 must be replaced by “xi” and “xii”, respectively. The occurrences of “ix” on p. 315, line 14 from below, and p. 316, line 13 from below, must be replaced by “xii, xiii”. All other occurrences of “ix” on pp. 315-316 must be replaced by “xii”. On p. 315, line 11 from below, “103, 112” must be replaced by “8, 103, 112”. A line with “Λ  119” on it must be inserted after line 6 from below on p. 319. On p. 319, line 4 from below, “3” must be replaced by “2”.

  33. D. Skordev. On Van Gelder's loop detection algorithm. J. of Logic Programming, 14, 1992, 181-183, doi: 10.1016/0743-1066(92)90051-4.

  34. D. Skordev. On the detection of periodic loops in computational processes. J. of Symb. Logic, 57, № 1, 1992, 335-336.

  35. D. Skordev. The indecomposability of a certain kind of semi-norms. In: Analysis and Related Mathematical Fields (dedicated to the memory of Y. A. Tagamlitzki), Pliska, Studia Mathematica Bulgarica, 11, 1991, 86-93.

  36. D. Skordev. On the reduction of polyadic recursive programs to monadic ones. Год. на Соф. унив., ФМИ, 82 (1988), 173-181.

  37. D. Skordev. On the use of homomorphisms for proving the equivalence of some programs. In: Mathematical Problems in Computation Theory, Banach Center Publications, vol. 21, Warsaw, PWN, 1988, 377-384.

  38. Д. Скордев. Некоторые новые примеры итеративных полукомбинаторных пространств. Год. на Соф. унив., ФМИ, 81 (1987), 1994, 225-236.

  39. D. Skordev. An extremal problem concerning the detection of cyclic loops. Доклады БАН, 40, № 10, 1987, 5-8.

    Corrigendum. On p. 8, line 1 from below, “in Press” must be replaced by “submitted”, since the corresponding abstract did not appear.

  40. D. Skordev. On the analog of the partial recursive functions for the case of non-deterministic computations. In: Математика и математическо образование, Докл. на Шестнадесетата пролетна конференция на СМБ (Слънчев бряг, 6 - 10.IV.1987), Sofia, 1987, 266-272.

  41. Д. Скордев. Доказване на коректността на някои програми чрез изследване на образите на множества от състояния на паметта. In: Математика и математическо образование, Докл. на Петнадесетата пролетна конференция на СМБ (Слънчев бряг, 6 - 9.IV.1986), Sofia, 1986, 449-455.

  42. Д. Скордев. Една възможност за съчетаване на идеи от интервалния и от конструктивния математически анализ. In: 100 години от рождението на академик Любомир Чакалов, Юбилеен сборник, Трудове на юбилейна научна сесия, организирана от Софийския областен народен съвет и Съюза на математиците в България (Самоков, 14-15.II.1986), 114-121.

  43. Д. Скордев. О некоторых формальных системах для теории итеративных полукомбинаторных пространств. Год. на Соф. унив., ФММ, 79 (1985), кн. 1, 1989, 323-347.

  44. D. Skordev. On multi-valued homomorphisms. In: Computation Theory, Lecture Notes in Computer Science, vol. 208, 1985, 326-331, doi: 10.1007/3-540-16066-3_27.

  45. D. Skordev. On a modal-type language for the predicate calculus. Polish Academy of Sciences, Institute of Philosophy and Sociology, Bulletin of the Section of Logic, 13, № 3, 1984, 111-119.

  46. D. Skordev. A formal system for proving some properties of programs in iterative combinatory spaces. Ann. Soc. Math. Pol., Ser. 4, Fundamenta Informaticae, 7, № 3, 1984, 359-365.

  47. Д. Скордев. Первая теорема о рекурсии для итеративных полукомбинаторных пространств. In: Математическая логика, Труды конференции по математической логике, посвященной памяти А. А. Маркова (1903-1979), (София, 22-23.IX.1980), Sofia, 1984, 89-111.

  48. D. Skordev. A reduction of polyadic recursive programs to monadic ones. In: Symposium on Mathematical Foundations of Computer Science (Diedrichshagen, 6-11.XII.1982), Seminarbericht Nr. 52, Sektion Mathematik der Humboldt-Universität zu Berlin, Berlin, 1983, 124-132.

  49. Д. Скордев. Об одном погружении итеративных алгебр Поста в полугруппы. Алгебра и логика, 21, № 2, 1982, 228-241.
        English translation:
    D. Skordev. Embedding of iterative Post algebras in semigroups. Algebra and Logic, 21, 1982, 156-167, doi: 10.1007/BF01980757.

  50. Д. Скордев. Один метод вычисления значений рекурсивно определенных функций. In: Сборник доклади, Юбилейна научна сесия, посветена на 1300-годишнината на българската държава и 10-годишнината на ВПИ (Шумен, 20-22.X.1981), Физика, математика, Shumen, 1982, 176-187.

  51. D. Skordev. An algebraic treatment of flow diagrams and its application to generalized recursion theory. In: Universal Algebra and Applications, Banach Center Publications, vol. 9, Warszawa, PWN, 1982, 277-287.

  52. Д. Скордев. Применение абстрактной теории рекурсии для исследования возможностей функциональных систем программирования. In: Математическая теория и практика систем программного обеспечения, Труды советско-болгарского совещания, Новосибирск, Вычислительный центр СО АН СССР, 1982, 7-16.

  53. Д. Скордев. Комбинаторные пространства и рекурсивность в них. София, Изд. на БАН, 1980, 455 pp.

  54. Д. Скордев. Полукомбинаторные пространства. Доклады БАН, 33, № 6, 1980, 739-742.

  55. В. Петров, Д. Скордев. Комбинаторные структуры. Сердика, 5, № 2, 1979, 128-148.

  56. Д. Скордев. Алгебраическое обобщение одного результата Бёма и Якопини. Доклады БАН, 32, № 2, 1979, 151-154.

  57. D. Skordev. The first recursion theorem for iterative combinatory spaces. Zeitschr. f. math. Logik und Grundlagen der Mathematik., 25, № 1, 1979, 69-77, doi: 10.1002/malq.19790250308.

  58. D. Skordev. A normal form theorem for recursive operators in iterative combinatory spaces. Zeitschr. f. math. Logik und Grundlagen der Mathematik., 24, № 2, 1978, 115-124, doi: 10.1002/malq.19780240803.

  59. D. Skordev. Simplification of some definitions in the theory of combinatory spaces. Доклады БАН , 30, № 7, 1977, 947-950.

  60. Д. Скордев. Нормальная форма термов в итеративных комбинаторных пространствах. In: Математика и математическо образование, Докл. на Петата пролетна конференция на БМД (Габрово, 8-10.IV.1976), Sofia, 1990, 130-137.

  61. Д. Скордев. Понятие поисковой вычислимости с точки зрения теории комбинаторных пространств. Сердика, 2, № 4, 1976, 343-349.

  62. D. Skordev. An axiomatic treatment of recursiveness for some kinds of multi-valued functions. J. of Symb. Logic, 41, № 2, 1976, 555-556.

  63. Д. Скордев. О частичном упорядочении множества Old German C в комбинаторных пространствах. Доклады БАН, 29, № 2, 1976, 151-154.

  64. Д. Скордев. Некоторые комбинаторные пространства, связанные со сложностью переработки данных. Доклады БАН, 29, № 1, 1976, 7-10.

  65. D. Skordev. Recursion theory on iterative combinatory spaces. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astr. Phys., 24, № 1, 1976, 23-31.

  66. Д. Скордев. Некоторые модели комбинаторной логики. Математические заметки, 19, № 1, 1976, 149-154.
        English translation:
    D. Skordev. Some models of combinatory logic. Math. Notes, 19, № 1, 1976, 88-90, doi: 10.1007/BF01147625.

  67. Д. Скордев. Замечание к теории интегрирования. Год. на Соф. унив., ФММ, 67 (1972/1973), 1976, 165-167.

  68. D. Skordev. On Turing computable operators. Год. на Соф. унив., ФММ, 67 (1972/1973), 1976, 103-112.

  69. Д. Скордев. Некоторые топологические примеры итеративных комбинаторных пространств. Доклады БАН, 28, № 12, 1975, 1575-1578.

  70. Д. Скордев. О многозначных функциях нескольких переменных. Доклады БАН, 28, № 7, 1975, 885-888.

  71. Д. Скордев. Одно обобщение теории рекурсивных функций. ДАН СССР, 219, № 5, 1974, 1079-1082.
        English translation:
    D. Skordev. A generalization of the theory of recursive functions. Soviet Math. Doklady, 15, № 5, 1974, 1756-1760.

    Corrigenda. The fourth line from below in the bibliography to the Russian original must be replaced by “lop., v. 12, 465 (1968). 8 Доклады Болгарской АН, т. 16, 465 (1963).”; the omitted reference in the bibliography to the English translation is “8. D. Skordev, Rekursiv vollständige arithmetische Operationen, C. R. Acad. Bulgare Sci. 16 (1963), 465-467. MR 29 #4676.”

  72. Д. Скордев. Рекурсивно полные операции над словами. Доклады БАН, 27, № 4, 1974, 449-452.

  73. Д. Скордев. Некоторые примеры универсальных функций, рекурсивно определяемых при помощи небольших систем равенств. In: Исследования по теории алгорифмов и математической логике, т. I, Москва, Вычислительный центр АН СССР, 1973, 134-177.

  74. Д. Скордев. О неразложимых элементах в смысле Я. Тагамлицкого. Mathematica Balkanica, 2, 1972, 212-214.

    Corrigenda. On p. 212, line 10 from above, “(см. [2])” must be omitted, as well as reference 2 at the end of the paper (the corresponding publication did not appear). On p. 214, lines 8 and 6 from below, “Цитирнванная литетау рра” and “унивнрситет” must be replaced by “Цитированная литература” and “университет“, respectively.

  75. Д. Скордев. О непрерывности некоторых функционалов и замкнутости некоторых конусов. Год. на Соф. унив., Мат. фак., 64 (1969/1970), 1971, 209-212.

  76. D. Skordev. Linear operators with sufficiently many a priori given eigen-vectors. Studia Mathematica, 38, 1970, 455-456.

  77. Д. Скордев. Некоторые простые примеры универсальных функций. ДАН СССР, 190, № 1, 1970, 45-46.
        English translation:
    D. Skordev. Some simple examples of universal functions. Soviet Math. Dokl., 11, № 1, 1970, 41-43.

  78. Д. Скордев. Линейни оператори с достатъчно много отнапред дадени собствени вектори. Изв. на Мат. инст. на БАН, 10, 1969, 239-271.

  79. Д. Скордев. Върху някои алгебрични аспекти на математичната логика. Год. на Соф. унив., Мат. фак., 62 (1967/1968), 1969, 111-122.

  80. Д. Скордев. Об одном классе примитивно рекурсивных функций. Год. на Соф. унив., Мат. фак., 60 (1965/1966), 1967, 105-111.

  81. В. Чакалов, Д. Скордев. Представяне на позитивни линейни функционали, дефинирани в пространството на хомогенните реални полиноми от дадена четна степен. Изв. на Мат. инст. на БАН, 9, 1966, 57-71.

  82. Д. Скордев. Върху понятието рекурсивно пълна аритметична операция. Год. на Соф. унив., Мат. фак., 59 (1964/1965), 1966, 117-136.

  83. Д. Скордев. Крайни точки и топологически неразложими елементи. Год. на Соф. унив., Мат. фак., 58 (1963/1964), 1965, 203-218.

  84. Д. Скордев. Полуупорядоченные пространства с разделяющей системой линейных операторов. Spisy přírodovědecké fakulty University J. E. Purkyně v Brně, A 28, № 9, 1964, 489-490.

  85. Д. Скордев. Още един пример за рекурсивно пълна аритметична операция. Год. на Соф. унив., Мат. фак., 57 (1962/1963), 1964, 1-7.

  86. D. Skordev. Rekursiv vollständige arithmetische Operationen. Доклады БАН, 16, № 5, 1963, 465-467.

  87. Д. Скордев. Изчислими и µ-рекурсивни оператори. Изв. на Мат. инст. на БАН, 7, 1963, 5-43.

  88. Д. Скордев, Бл. Сендов. Об уравнениях в словах. Zeitschr. f. math. Logik und Grundlagen der Mathematik, 7, № 4, 1961, 289-297, doi: 10.1002/malq.19610071903.

  89. Д. Скордев. О некоторых полуупорядоченных пространствах. ДАН СССР, 138, № 3, 1961, 553-555.

  90. Д. Скордев. Върху ограничените линейни оператори в линейните пространства с частично нареждане. Год. на Соф. унив., Физ.-мат. фак., 54 (1959/1960), кн. 1, 1961, 151-166.

  91. Д. Скордев. Върху конусите на линейност в някои нормирани линейни пространства с частично нареждане. Год. на Соф. унив., Физ.-мат. фак., 53 (1958/1959), кн. 1, 1959, 135-140.

Last modification of this file: October 27, 2015