| Глава от книга |
|
|
Hristo Ganchev, Dimiter Skordev, Ivan Soskov: A Life in Computability, ISBN:978-3-319-43667-8; Online ISBN 978-3-319-43669-2 , Springer, Berlin, Ref, Рецензирано
|
2017
|
| Дипломна работа |
|
|
Димитър Генчев Скордев, Нормирани конуси и линейни разлагания в тях, Софийски държ. университет, ФМФ, катедра по диференциално и интегрално смятане, Ръководител:Ярослав Тагамлицки
|
1958
|
| Дисертация доктор на науките |
|
|
Димитър Генчев Скордев, Комбинаторные пространства и рекурсивность в них, Софийски университет, ФМИ
|
1986
|
| Дисертация д-р |
|
|
Димитър Г. Скордев, Върху някои пръстени от линейни оператори, Софийски държ. университет, ФМФ
|
1967
|
| Друго (научно-популярни и др. под.) |
|
1
|
Димитър Скордев, Алгоритми и алгоритмична изчислимост, Народна просвета
|
1981
|
|
2
|
Димитричка Н. Шопова, Димитър Г. Скордев, Реални числа, Народна просвета
|
1971
|
|
3
|
Никола Обрешков, Димитър Скордев, Що е диференциране, Наука и изкуство
|
1963
|
| Книга |
|
|
Dimiter G. Skordev, Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability, ISBN:ISBN 978-94-010-5165-1, Kluwer Academic Publishers, Dordrecht-Boston-London, Ref, Рецензирано
|
1992
|
| Монография |
|
|
Д. Скордев, Комбинаторные пространства и рекурсивность в них, ISBN:51+331/534, Издателство Болгарской Академии Наук, София, Ref, Рецензирано
|
1980
|
| Научно ръководство |
|
1
|
Димитър Скордев, Субрекурсивна изчислимост в анализа, дисертация д-р:Иван Георгиев
|
2016
|
|
2
|
Димитър Скордев, Субрекурсивна изчислимост в анализа, дипломна работа:Иван Георгиев
|
2009
|
|
3
|
Димитър Скордев, Едно субрекурсивно уточнение на основната теорема на алгебрата, дипломна работа:Петър Пешев
|
2005
|
|
4
|
Димитър Скордев, Един практически поглед върху изчислимостта на реални числа, дипломна работа:Бранимир Ламбов
|
2001
|
|
5
|
Димитър Скордев, Коректни динамични структури, дипломна работа:Йордан Димитров
|
2000
|
|
6
|
Димитър Скордев, Реализация на език за функционално програмиране, дипломна работа:Николай Кирилов Дяков
|
1996
|
|
7
|
Димитър Скордев, Периодични зацикляния в Пролог, дипломна работа:Димитър Добрев
|
1995
|
|
8
|
Димитър Скордев, Характеризация на ефективната изчислимост относно номерации, спрямо които са ефективни изваждането на единица и сравняването с нула, дипломна работа:Румен Димитров
|
1993
|
|
9
|
Димитър Скордев, Допустимост в абстрактни структури с произволна мощност, дисертация д-р:Стела Николова
|
1991
|
|
10
|
Димитър Скордев, Ефективни алгебрични системи, дисертация д-р:Александра Соскова
|
1990
|
|
11
|
Димитър Скордев, Един алгоритъм за намиране на извод с минимална ширина, дипломна работа:Георги Николов
|
1984
|
|
12
|
Димитър Скордев, Изчислимост в частични алгебрични системи, дисертация д-р:Иван Сосков
|
1983
|
|
13
|
Димитър Скордев, Несводимост на някои декартови степени към други и съотношение между два вида изчислимост, дисертация д-р:Ангел Дичев
|
1983
|
|
14
|
Димитър Скордев, Теория на рекурсията в частично наредени комбинаторни модели, дисертация д-р:Йордан Зашев
|
1983
|
|
15
|
Димитър Скордев, Итеративни операторни пространства, дисертация д-р:Любомир Иванов
|
1980
|
|
16
|
Димитър Скордев, Някои въпроси, свързани с дефиницията на понятието проста изчислимост, дипломна работа:Александра Соскова
|
1979
|
|
17
|
Димитър Скордев, Приложение на комбинаторните пространства за изучаване сложността на пресмятанията, дипломна работа:Огнемир Игнатов
|
1979
|
|
18
|
Димитър Скордев, Просто изчислими функции на краен брой аргументи, менящи се в основното множество и приемащи стойности в него, дипломна работа:Иван Сосков
|
1979
|
|
19
|
Димитър Скордев, Структурирани програми за машините на Тюринг, дипломна работа:Соломон Паси
|
1979
|
|
20
|
Димитър Скордев, Изследване на едно конкретно комбинаторно пространство, дипломна работа:Елена Пазова
|
1978
|
|
21
|
Димитър Скордев, Изчислимост в смисъл на Московакис и връзката й с частичната рекурсивност посредством номерации, дипломна работа:Ангел Дичев
|
1978
|
|
22
|
Димитър Скордев, Псевдокомбинаторни пространства и рекурсивност в тях, дипломна работа:Русанка Луканова
|
1978
|
|
23
|
Димитър Скордев, Категорни пространства, дипломна работа:Веселин Петров
|
1977
|
|
24
|
Димитър Скордев, Примитивно-рекурсивни вероятностни функции, дипломна работа:Мартин Табаков
|
1977
|
|
25
|
Димитър Скордев, Рекурсивност в естествени комбинаторни пространства, дипломна работа:Любомир Иванов
|
1977
|
|
26
|
Димитър Скордев, Стъпаловидна семантична система с дедуктивни импликации, еквивалентна на системата на Марков, дипломна работа:Йордан Зашев
|
1974
|
|
27
|
Димитър Скордев, Интуиционистко модално пропозиционално смятане, дипломна работа:Славян Радев
|
1973
|
| Редактор на издание нереферирано |
|
|
Димитър Скордев, Yaroslav Tagamlitzki. Selected Papers, Редактор на издание нереферирано
|
2016
|
| Редактор на издание реферирано |
|
1
|
Димитър Скордев, Ярослав Тагамлицки. За обучението по математика (из педагогическото наследство на професор Тагамлицки), Редактор на издание реферирано
|
2016
|
|
2
|
Dimiter G. Skordev, Mathematical Logc and Its Applications. Proc. of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, in honour of the 80th anniversary of Kurt Gödel's birth, held Sept. 24-Oct. 4, 1986, in Druzhba, Bulgaria, Редактор на издание реферирано
|
1986
|
| Статия в научно списание |
|
1
|
Dimiter Skordev, SOME ASPECTS OF DISTANCING, COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, vol:75, issue:1, 2022, pages:3-10, ISSN (print):1310–1331, ISSN (online):2367–5535, doi:https://doi.org/10.7546/CRABS.2022.01.01, Ref, Web of Science, IF (0.329 - 2021), Web of Science Quartile: Q4 (2022), SCOPUS, SJR (0.18 - 2022), SCOPUS Quartile: Q3 (2022), MathSciNet
|
2022
|
|
2
|
Dimiter Skordev, Moschovakis extension of represented spaces, Logical Methods in Computer Science, vol:15, issue:1, 2019, ISSN (online):18605974, doi:10.23638/LMCS-15(1:35)2019, Ref, IR , SCOPUS, SJR (0.391 - 2017)
|
2019
|
|
3
|
Dimiter Skordev, Some theorems on passing from local to global presence of properties of functions, Logical Methods in Computer Science, vol:12, issue:4, 2017, ISSN (online):18605974, doi:10.2168/LMCS-12(4:3)2016, Ref, IR , SCOPUS, SJR (0.391 - 2017)
|
2017
|
|
4
|
D. G. Skordev, Skordev, Dimiter, SOME THEOREMS ON PASSING FROM LOCAL TO GLOBAL PRESENCE OF PROPERTIES OF FUNCTION, LOGICAL METHODS IN COMPUTER SCIENCE, vol:12, issue:4, 2016, ISSN (print):1860-5974, doi:10.2168/LMCS-12(4:3)2016
|
2016
|
|
5
|
Dimiter Skordev, A simple characterization of the computability of real functions, Год. на Соф. унив., ФМИ, vol:101, 2013, pages:115-122, Ref
|
2013
|
|
6
|
Dimiter Skordev, Approximation systems for functions in topological and in metric spaces, Logical Methods in Computer Science, vol:9, issue:4, 2013, ISSN (online):18605974, doi:10.2168/LMCS-9(4:15)2013, Ref, IR , SCOPUS, SJR (0.73 - 2013)
|
2013
|
|
7
|
Ivan Georgiev, Dimiter Skordev, Conditional computability of real functions with respect to a class of operators, Ann. Pure Appl. Logic, vol:164, 2013, pages:550-565, ISSN (print):ISSN: 0168-0072, doi:10.1016/j.apal.2012.11.004, Ref, Web of Science, IF (0.451 - 2013), Web of Science Quartile: Q2 (Logic), SCOPUS, SJR (0.731 - 2013), SCOPUS Quartile: Q1 (Logic), PhD
|
2013
|
|
8
|
Dimiter Skordev, On some computability notions for real functions, Computability, vol:2, 2013, pages:67-73, ISSN (print):22113576, ISSN (online):22113568, doi:10.3233/COM-13018, Ref, IR , SCOPUS, SJR (524 - 2013)
|
2013
|
|
9
|
Dimiter Skordev, Andreas Weiermann, Ivan Georgiev, M²-computable real numbers, Journal of Logic and Computation, vol:22, 2012, pages:899-925, ISSN (print):0955792X, ISSN (online):1465363X, doi:10.1093/logcom/exq050, Ref, IR , SCOPUS, SJR (844 - 2012), SCOPUS Quartile: Q1 (5/20 Logic WOS), International, PhD
|
2012
|
|
10
|
Lyubomir Ivanov, Dimiter Skordev, Dimiter Dobrev, The new national standard for the Romanization of Bulgarian, Mathematica Balkanica, vol:24, issue:1-2, 2010, pages:121-130
|
2010
|
|
11
|
D. Skordev, On a class of bases for Boolean functions, Journal of Mathematical Sciences, vol:158, issue:5, 2009, pages:753-758, ISSN (print):1072-3374, ISSN (online):1573-8795, doi:https://doi.org/10.1007/s10958-009-9398-y, Ref, IR , SCOPUS, SJR (247 - 2009), SCOPUS Quartile: Q4 (251/255 math)
|
2009
|
|
12
|
Dimiter Skordev, Transliteration and longest match strategy, International Journal «Information Theories and Applications», vol:16, 2009, pages:90-99, International
|
2009
|
|
13
|
Dimiter Skordev, A reducibility in the theory of iterative combinatory spaces, Год. на Соф. унив., ФМИ, vol:98, 2008, pages:87-99, ISSN (print):0205-0808, Ref
|
2008
|
|
14
|
Dimiter Skordev, E²-computability of e, π and other famous constants, Electronic Notes in Theoretical Computer Science, vol:202, 2008, pages:37-47, ISSN (print):ISSN: 1571-0661, doi:10.1016/j.entcs.2008.03.006, Ref, SCOPUS, SJR (0.427 - 2008)
|
2008
|
|
15
|
D. G. Skordev, epsilon(2)- computability of e, pi and Other Famous Constants, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol:202, 2008, pages:37-47, ISSN (print):1571-0661, doi:10.1016/j.entcs.2008.03.006
|
2008
|
|
16
|
Dimiter Skordev, On the subrecursive computability of several famous constants, Journal of Universal Computer Science, vol:14, 2008, pages:861-875, ISSN (print):0948695X, ISSN (online):09486968, doi:10.3217/jucs-014-06-0861, Ref, Web of Science, IF (696 - 2016), SCOPUS, SJR (345 - 2008), SCOPUS Quartile: Q4 (WOS), International
|
2008
|
|
17
|
Dimiter Skordev, Maximal depths of Boolean functions, Год. на Соф. унив., ФМИ, vol:96, 2004, pages:89-99, ISSN (print): 0205-0811, Ref
|
2004
|
|
18
|
Dimiter Skordev, Some subrecursive versions of Grzegorczyk's Uniformity Theorem, Math. Log. Quart., vol:50, issue:4/5, 2004, pages:520-524, ISSN (print):15213870, ISSN (online):09425616, doi:10.1002/malq.200310117, Ref, Web of Science, IF (263 - 2004), SCOPUS, SJR (393 - 2004), SCOPUS Quartile: Q4 (141/181 Math WOS)
|
2004
|
|
19
|
Dimiter Skordev, Computability of real numbers by using a given class of functions in the set of the natural numbers, Math. Log. Quart., vol:48, issue:Suppl. 1, 2002, pages:91-106, ISSN (print):15213870, ISSN (online):09425616, doi:https://doi.org/10.1002/1521-3870(200210)48:1+<91::AID-MALQ91>3.0.CO;2-L, Ref, Web of Science, IF ( - 2017), SCOPUS Quartile: Q3 (105/170 Math WOS)
|
2002
|
|
20
|
Dimiter Skordev, On the duration domains for the Interval Temporal Logic, Год. на Соф. унив., ФМИ, vol:94, 2001, pages:27-33, ISSN (print):1313-9215 , Ref
|
2001
|
|
21
|
Dimiter Skordev, A separation theorem of Y. Tagamlitzki in its natural generality, Год. на Соф. унив., ФМИ, vol:91, 1999, pages:73-78, ISSN (print):1313-9215 , Ref
|
1999
|
|
22
|
Dimiter Skordev, On the detection of some loops in recursive computations, Год. на Соф. унив., ФМИ, vol:87, 1999, pages:203-222, ISSN (print):1313-9215 , Ref
|
1999
|
|
23
|
Dimiter Skordev, An algorithmic approach to some problems on the representation of natural numbers as sums without repetitions, Год. на Соф. унив., ФМИ, vol:89, 1998, pages:89-99, ISBN:1313-9215 , Ref
|
1998
|
|
24
|
Dimiter Skordev, An abstract approach to some loop detection problems, Fundamenta Informaticae, vol:31, issue:2, 1997, pages:195-212, ISSN (print):01692968, doi:10.3233/FI-1997-31207, Ref, Web of Science, IF (691 - 2003), SCOPUS, SJR (295 - 1999), SCOPUS Quartile: Q2 (2003 35/78 Math/CS), International
|
1997
|
|
25
|
Димитр Скордев, Некоторые новые примеры итеративных полукомбинаторных пространств, Год. на Соф. унив., ФМИ, vol:81, 1994, pages:225-236, ISSN (print):1313-9215 , Ref
|
1994
|
|
26
|
Dimiter Skordev, On the average delay of the detection of cyclic loops, Год. на Соф. унив., ФМИ, vol:85, 1993, pages:13-34, ISSN (print):1313-9215 , Ref
|
1993
|
|
27
|
D. Skordev, On the detection of periodic loops in computational processes, J. of Symb. Logic, vol:57, issue:1, 1992, pages:335-336, ISSN (print):0022-4812 (Print), ISSN (online):1943-5886 (Online) , doi:10.2307/2275203, Ref, IR , SCOPUS, SJR (699 - 1999), SCOPUS Quartile: Q1 (1999)
|
1992
|
|
28
|
Dimiter Skordev, On Van Gelder's loop detection algorithm, J. of Logic Programming, vol:14, issue:1-2, 1992, pages:181-183, ISSN (print):07431066, doi:10.1016/0743-1066(92)90051-4, Ref, Web of Science, IF (726 - 1997), SCOPUS, SJR (636 - 1999), SCOPUS Quartile: Q1 (8/59 1997WOS), International
|
1992
|
|
29
|
D. G. Skordev, ON VANGELDER LOOP DETECTION ALGORITHM, JOURNAL OF LOGIC PROGRAMMING, vol:14, issue:1-2, 1992, pages:181-183, ISSN (print):0743-1066
|
1992
|
|
30
|
Димитр Скордев, О некоторых формальных системах для теории итеративных полукомбинаторных
пространств, Год. на Соф. унив., ФММ, vol:79, issue:1, 1989, pages:323-347, ISSN (print):1313-9215, Ref
|
1989
|
|
31
|
Dimiter Skordev, On the reduction of polyadic recursive programs to monadic ones, Год. на Соф. унив., ФМИ, vol:82, 1988, pages:173-181, ISSN (print):1313-9215, Ref
|
1988
|
|
32
|
D. G. Skordev, An extremal problem concerning the detection of cyclic loops, Доклады БАН, vol:40, issue:10, 1987, pages:5-8, ISSN (print):13101331, ISSN (online):2367-5535, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (1987)
|
1987
|
|
33
|
Dymiter Skordev, A formal system for proving some properties of programs in iterative combinatory spaces, Fundamenta Informaticae, vol:7, issue:3, 1984, pages:359-365, ISSN (print):01692968, ISSN (online):1875-8681, Ref, Web of Science, IF (0.691 - 2003), SCOPUS, SJR (295 - 1999), SCOPUS Quartile: Q2 (2003 WOS64/153 Math)
|
1984
|
|
34
|
Dimiter 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, vol:13, issue:3, 1984, pages:111-119, ISSN (print):0138-0680 , ISSN (online):ISSN 2449-836X, Ref, IR , SCOPUS, SJR (223 - 1999)
|
1984
|
|
35
|
D. Skordev, Embedding of iterative Post algebras in semigroups., Algebra and Logic, vol:21, issue:2, 1982, pages:156-167, ISSN (print):00025232, doi:doi: 10.1007/BF01980757, Ref, IR , SCOPUS, SJR (205 - 1999), SCOPUS Quartile: Q4 (1982)
|
1982
|
|
36
|
Д. Г. Скордев, Полукомбинаторные пространства, Доклады БАН, vol:33, issue:6, 1980, pages:739-742, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS 2007 MULLTTIIDIISCIIPLLIINARY SCIIENCES)
|
1980
|
|
37
|
D. Skordev, The first recursion theorem for iterative combinatory spaces, Zeitschr. f. math. Logik und Grundlagen der Mathematik/Mathematical Logic Qurterly, vol:25, issue:3-5, 1979, pages:69-77, ISSN (print):0044-3050, ISSN (online):1521-3870, doi:10.1002/malq.19790250308, Ref, IF, IF (365 - 2002), SCOPUS Quartile: Q4 (1997 WOS 114/136 Mathematics)
|
1979
|
|
38
|
Д. Г. Скордев, Алгебраическое обобщение одного результата Бёма и Якопини, Доклады БАН, vol:32, issue:2, 1979, pages:151-154, ISSN (print):1310-1331, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS 2007 MULLTTIIDIISCIIPLLIINARY SCIIENCES)
|
1979
|
|
39
|
Веселин П. Петров, Димитър Г. Скордев, Комбинаторные структуры, Сердика, vol:5, issue:2, 1979, pages:128-148, ISSN (print):1310-6600, Ref, MSc
|
1979
|
|
40
|
D. Skordev, A normal form theorem for recursive operators in iterative combinatory spaces, Zeitschr. f. math. Logik und Grundlagen der Mathematik/Mathematical Logic Qurterly, vol:24, issue:2, 1978, pages:115-124, ISSN (print):15213870, ISSN (online):09425616, doi:10.1002/malq.19780240803, Ref, Web of Science, IF (365 - 2002), SCOPUS, SJR (699 - 1999), SCOPUS Quartile: Q3 (2002 WOS 105/170 Mathematics)
|
1978
|
|
41
|
D. G. Skordev, Simplification of some definitions in the theory of combinatory spaces, Доклады БАН, vol:30, issue:7, 1977, pages:947-950, ISSN (print):1310-1331, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS)
|
1977
|
|
42
|
D. Skordev, An axiomatic treatment of recursiveness for some kinds of multi-valued functions, J. of Symb. Logic, vol:41, issue:2, 1976, pages:555-556, ISSN (print): 0022-4812 , ISSN (online):1943-5886 , doi:10.1017/S0022481200051665, Ref, Web of Science, IF (604 - 1997), SCOPUS, SJR (699 - 1999), SCOPUS Quartile: Q1 (13/59 1997 WOS)
|
1976
|
|
43
|
Dimiter Skordev, On Turing computable operators, Год. на Соф. унив., ФММ, vol:67, 1976, pages:103-112, ISSN (print):1313-9215, Ref
|
1976
|
|
44
|
D. Skordev, Recursion theory on iterative combinatory spaces, Bull. Acad. Polon. Sci., Sér. Sci. Math. Astr. Phys., vol:24, issue:1, 1976, pages:23-31, ISSN (print): 0239-7269, ISSN (online):1732-8985, Ref
|
1976
|
|
45
|
Димитр Скордев, Замечание к теории интегрирования, Год. на Соф. унив., ФММ, vol:67, 1976, pages:165-167, ISSN (print):1313-9215, Ref
|
1976
|
|
46
|
Д. Г. Скордев, Некоторые комбинаторные пространства, связанные со сложностью переработки данных, Доклады БАН, vol:29, issue:1, 1976, pages:7-10, ISSN (print):1310–1331, ISSN (online):2367–5535, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS 2007 MULLTTIIDIISCIIPLLIINARY SCIIENCES)
|
1976
|
|
47
|
Д. Скордев, Некоторые модели комбинаторной логики, Математические заметки, vol:19, issue:1, 1976, pages:149-154, ISSN (print):0001-4346 , ISSN (online):1573-8876, doi:doi: 10.1007/BF01147625, Ref, Web of Science, IF (168 - 2003), SCOPUS, SJR (626 - 2012), SCOPUS Quartile: Q4 (1976)
|
1976
|
|
48
|
Д. Г. Скордев, О частичном упорядочении множества ℭ в комбинаторных пространствах, Доклады БАН, vol:29, issue:2, 1976, pages:151-154, ISSN (print):1313-9215, ISSN (online):2367-5535, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS 2007 MULLTTIIDIISCIIPLLIINARY SCIIENCES)
|
1976
|
|
49
|
Димитър Г. Скордев, Понятие поисковой вычислимости с точки зрения теории комбинаторных
пространств, Сердика, vol:2, issue:4, 1976, pages:343-349, ISSN (print):1310-6600, Ref
|
1976
|
|
50
|
Д. Г. Скордев, Некоторые топологические примеры итеративных комбинаторных пространств, Доклады БАН, vol:28, issue:12, 1975, pages:1575-1578, ISSN (print):1313-9215, ISSN (online):2367–5535, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (2007 WOS)
|
1975
|
|
51
|
Д. Г. Скордев, О многозначных функциях нескольких переменных, Доклады БАН, vol:28, issue:7, 1975, pages:885-888, ISSN (print):1313-9215, ISSN (online):2367–5535, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS 2007)
|
1975
|
|
52
|
Д. Скордев, Одно обобщение теории рекурсивных функций, ДАН СССР, vol:219, issue:5, 1974, pages:1079-1082, ISSN (print):0869-5652/ English ISSN: 1064-5624 (print), , ISSN (online):1531-8362 (online), Ref, Web of Science, IF (376 - 2012), SCOPUS, SJR (302 - 2012), SCOPUS Quartile: Q3 (1974)
|
1974
|
|
53
|
Д. Г. Скордев, Рекурсивно полные операции над словами, Доклады БАН, vol:27, issue:4, 1974, pages:449-452, ISSN (print):1313-9215, ISSN (online):2367-5535, Ref, IF, IF (106 - 2007), SCOPUS Quartile: Q4 (WOS 2007 MULLTTIIDIISCIIPLLIINARY SCIIENCES)
|
1974
|
|
54
|
Д. Скордев, Некоторые примеры универсальных функций, рекурсивно определяемых при помощи небольших систем равенств, Исследования по теории алгорифмов и математической логике, vol:1, 1973, pages:134-177, Ref
|
1973
|
|
55
|
Скордев Д., О неразложимых элементах в смысле Я. Тагамлицкого, Mathematica Balkanica, vol:2, 1972, pages:212-214, Ref
|
1972
|
|
56
|
Димитър Скордев, О непрерывности некоторых функционалов и замкнутости некоторых конусов, Год. на Соф. унив., Мат. фак., vol:64, 1971, pages:209-212, ISSN (print):1313-9215, Ref
|
1971
|
|
57
|
Dimiter Skordev, Linear operators with sufficiently many a priori given eigen-vectors, Studia Mathematica, vol:38, 1970, pages:455-456, ISSN (print):0039-3223, ISSN (online):1730-6337, doi:10.4064/sm-38-1-437-466, Ref
|
1970
|
|
58
|
Д. Скордев, Некоторые простые примеры универсальных функций, ДАН СССР, vol:190, issue:1, 1970, pages:45-46, Ref, Web of Science
|
1970
|
|
59
|
Димитър Скордев, Върху някои алгебрични аспекти на математичната логика, Год. на Соф. унив., Мат. фак., vol:62, 1969, pages:111-122, ISSN (print):1313-9215, Ref
|
1969
|
|
60
|
Димитър Скордев, Линейни оператори с достатъчно много отнапред дадени собствени вектори, Изв. на Мат. инст. на БАН, vol:10, 1969, pages:239-271, ISSN (online):ISSN 1310-6600 Serdica, Ref, Web of Science
|
1969
|
|
61
|
Димитр Скордев, Об одном классе примитивно рекурсивных функций, Год. на Соф. унив., Мат. фак., vol:60, 1967, pages:105-111
|
1967
|
|
62
|
Димитър Скордев, Върху понятието рекурсивно пълна аритметична операция, Год. на Соф. унив., Мат. фак., vol:59, 1966, pages:117-136
|
1966
|
|
63
|
Владимир Чакалов, Димитър Скордев, Представяне на позитивни линейни функционали, дефинирани в пространството на хомогенните реални полиноми от дадена четна степен, Изв. на Мат. инст. на БАН, vol:9, 1966, pages:57-71, Ref
|
1966
|
|
64
|
Димитър Скордев, Крайни точки и топологически неразложими елементи, Год. на Соф. унив., Мат. фак., vol:58, 1965, pages:203-218, ISSN (print):1313-9215, Ref
|
1965
|
|
65
|
Димитър Скордев, Още един пример за рекурсивно пълна аритметична операция, Год. на Соф. унив., Физ.-мат. фак., vol:57, 1964, pages:1-7, ISSN (print):1313-9215, Ref
|
1964
|
|
66
|
Димитр Скордев, Полуупорядоченные пространства с разделяющей системой линейных операторов, Spisy přírodovědecké fakulty University J. E. Purkyně v Brně, vol:A 28, issue:9, 1964, pages:489-490
|
1964
|
|
67
|
D. Skordev, Rekursiv vollständige arithmetische Operationen, Доклады БАН, vol:16, issue:5, 1963, pages:465-467, ISSN (print):ISSN 1310–1331 (Print) , ISSN (online): ISSN 2367–5535 (Online), Ref, IF, IF (106 - 2007)
|
1963
|
|
68
|
Димитър Г. Скордев, Изчислими и µ-рекурсивни оператори, Изв. на Мат. инст. на БАН, vol:7, 1963, pages:5-43, ISSN (print):ISSN 1310-6600, Ref
|
1963
|
|
69
|
Димитър Скордев, Върху ограничените линейни оператори в линейните пространства с частично нареждане, Год. на Соф. унив., Физ.-мат. фак., vol:54, issue:1, 1961, ISSN (print):1313-9215, Ref
|
1961
|
|
70
|
Димитър Скордев, О некоторых полуупорядоченных пространствах, ДАН СССР, vol:138, issue:3, 1961, pages:553-555, ISSN (print):0869-5652, Ref, Web of Science, IF (376 - 2012), SCOPUS, SJR (302 - 2013), SCOPUS Quartile: Q4 (1961)
|
1961
|
|
71
|
Д. Скордев, Бл. Сендов, Об уравнениях в словах, Zeitschr. f. math. Logik und Grundlagen der Mathematik, vol:7, issue:4, 1961, pages:289-297, ISSN (print):ISSN: 0044-3050, doi:10.1002/malq.19610071902, Ref, Web of Science, SCOPUS Quartile: Q4 (MLQ)
|
1961
|
|
72
|
Димитър Скордев, Върху конусите на линейност в някои нормирани линейни пространства с частично нареждане, Год. на Соф. унив., Физ.-мат. фак., vol:53, issue:1, 1959, pages:135-140, ISSN (print):1313-9215, Ref
|
1959
|
| Статия в поредица |
|
1
|
Dimiter Skordev, Ivan Georgiev, On a relative computability notion for real functions, Lecture Notes in Computer Science, vol:Models of Computation in Context, 7th Conference on Computability in Europe, CiE2011, Sofia, Bulgaria, June 27–July 2, 2011, Proceedings, issue:6735, editor/s:B. Löwe, D. Normann, I. Soskov, A. Soskova, Publisher:Springer, 2011, pages:270-279, ISBN: Print ISBN 978-3-642-21874-3 ; Online ISBN 978-3-642-21875-0 , doi:10.1007/978-3-642-21875-0_29, Ref, IR , SCOPUS, SJR (0.338 - 2011), SCOPUS Quartile: Q2 (Computer Science (misc), PhD
|
2011
|
|
2
|
D. Skordev, On a class of bases for Boolean functions, Записки научных семинаров ПОМИ /Journal of Mathematical Science, vol:Исследования по конструктивной математике и математической логике. XI, issue:358/5, editor/s:М. А. Всемирнов, Publisher:Springer, 2009, pages:271753-281758, ISSN (print):ISSN: 1072-3374, ISSN (online):ISSN: 1573-8795, doi:doi: 10.1007/s10958-009-9398-y , Ref, Web of Science, SCOPUS Quartile: Q4 (2009)
|
2009
|
|
3
|
Peter Peshev, Dimiter Skordev, A subrecursive refinement of the fundamental theorem of algebra, Lecture Notes in Computer Science, vol:Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, issue:3988, editor/s:A. Beckmann, U. Berger, B. Löwe, J. V. Tucker, Publisher:Springer, 2006, pages:435-444, ISBN:Print ISBN 978-3-540-35466-6 ; Online ISBN 978-3-540-35468-0, doi:10.1007/11780342_45, Ref, IR , SCOPUS, SJR (317 - 2006), MSc
|
2006
|
|
4
|
Dimiter Skordev, Characterization of the computable real numbers by means of primitive recursive functions, Lecture Notes in Computer Science, vol:Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, issue:2064, editor/s:J. Blanck, V. Brattka, P. Hertling, K. Weihrauch, Publisher:Springer, 2001, pages:296-309, ISBN:978-3-540-42197-9; Online ISBN 978-3-540-45335-2 , doi:10.1007/3-540-45335-0_17, Ref, Web of Science, IF (402 - 2005), SCOPUS, SJR (399 - 2005), SCOPUS Quartile: Q3 (46/71 2001 WOS)
|
2001
|
|
5
|
Dimiter Skordev, On the detection of some periodic loops during the execution of Prolog programs, Banach Center Publications, vol:Algebraic Methods in Logic and in Computer Science, issue:28 , Publisher:PWN, 1993, pages:151-166, ISSN (print):ISSN: 0137-6934(p) , ISSN (online):1730-6299(e), doi:10.4064/-28-1-151-166, Ref
|
1993
|
|
6
|
Dimiter G. Skordev, The indecomposability of a certain kind of semi-norms, Pliska, Studia Mathematica Bulgarica, vol:Analysis and Related Mathematical Fields (dedicated to the memory of Y. A. Tagamlitzki, issue:11, Publisher:БАН, 1991, pages:86-93, ISSN (print):0204-9805 , Ref
|
1991
|
|
7
|
Dimiter Skordev, On the use of homomorphisms for proving the equivalence of some programs, Banach Center Publications, vol:Mathematical Problems in Computation Theory, issue:21, Publisher:PWN, 1988, pages:377-384, doi:10.4064/-21-1-377-384, Ref
|
1988
|
|
8
|
Dimiter G. Skordev, On the analog of the partial recursive functions for the case of non-deterministic computations, Математика и математическо образование, vol:Докл. на Шестнадесетата пролетна конференция на СМБ (Слънчев бряг, 6 - 10.IV.1987), Publisher:БАН, 1987, pages:266-272, Ref
|
1987
|
|
9
|
Димитър Г. Скордев, Доказване на коректността на някои програми чрез изследване на образите на множества от състояния на паметта, Математика и математическо образование, vol:Докл. на Петнадесетата пролетна конференция на СМБ (Слънчев бряг, 6 - 9.IV.1986), Publisher:БАН, 1986, pages:449-455, ISSN (print):1313-3330, Ref
|
1986
|
|
10
|
Dimiter Skordev, On multi-valued homomorphisms, Lecture Notes in Computer Science, vol:Computation Theory, issue:208, editor/s:Andrzej Skowron, Publisher:Springer, 1985, pages:326-331, ISSN (print):0302-9743, ISSN (online):1611-3349, doi:10.1007/3-540-16066-3_27, Ref, Web of Science, IF (872 - 1999), SCOPUS, SJR (299 - 1999), SCOPUS Quartile: Q1 (13/61 COMPUTER SCIENCE, THEORY & METHODS WOS)
|
1985
|
|
11
|
Dimiter Skordev, A reduction of polyadic recursive programs to monadic ones, Seminarberichte, Humboldt-Universität zu Berlin, Sektion Mathematik, vol:Symposium on Mathematical Foundations of Computer Science (Diedrichshagen, 6-11.XII.1982), issue:52, 1983, pages:124-132, Ref
|
1983
|
|
12
|
Dimiter Skordev, An algebraic treatment of flow diagrams and its application to
generalized recursion theory, Banach Center Publications, vol:Universal Algebra and Applications, issue:9, Publisher:PWN-Polish Scientific Publishers (1982), 1982, pages:277-287, ISSN (print):ISBN-10: 8301021454 ISBN-13: 978-8301021450, ISSN (online):ISBN-10: 8301021454 , ISBN: ISBN-13: 978-8301021450, doi:10.4064/-9-1-277-287, Ref
|
1982
|
| Статия в сборник (на конференция и др.) |
|
1
|
Dimiter Skordev, Uniform computability of real functions, 120 Years Faculty of Mathematics and Informatics, St. Kliment Ohridski University of Sofia, Proceedings, editor/s:R. Levy, Publisher:St. Kliment Ohridski University Press, 2011, pages:179-185, Ref
|
2011
|
|
2
|
Dimiter Skordev, Randomized first order computability, Proceedings of the 5th Panhellenic Logic Symposium (Athens, July 25-28, 2005), Univ. of Athens, 2005, pages:14-15
|
2005
|
|
3
|
Д. Скордев, Нормальная форма термов в итеративных комбинаторных пространствах, Математика и математическо образование, Докл. на Петата пролетна конференция на БМД (Габрово, 8-10.IV.1976), Publisher:БАН, 1990, pages:130-137
|
1990
|
|
4
|
Димитър Г. Скордев, Една възможност за съчетаване на идеи от интервалния и от конструктивния математически анализ, 100 години от рождението на академик Любомир Чакалов, Юбилеен сборник, Трудове на юбилейна научна сесия, организирана от Софийския областен народен съвет и Съюза на математиците в България (Самоков, 14-15.II.1986), 1986, pages:114-121
|
1986
|
|
5
|
Димитър Г. Скордев, Первая теорема о рекурсии для итеративных полукомбинаторных пространств, Математическая логика, Труды конференции по математической логике, посвященной памяти А. А. Маркова (1903-1979), (София, 22-23.IX.1980), editor/s:Д. Скордев (ответственный редактор) and others, Publisher:БАН, 1984, pages:89-111, Ref
|
1984
|
|
6
|
Димитър Г. Скордев, Один метод вычисления значений рекурсивно определенных функций, Сборник доклади, Юбилейна научна сесия, посветена на 1300-годишнината на българската държава и 10-годишнината на ВПИ (Шумен, 20-22.X.1981), Физика, математика, 1982, pages:176-187
|
1982
|
|
7
|
Д. Скордев, Применение абстрактной теории рекурсии для исследования возможностей функциональных систем программирования, Математическая теория и практика систем программного обеспечения, Труды советско-болгарского совещания, Новосибирск, Вычислительный центр СО АН СССР , editor/s:А. П. Ершов, Publisher:ВЦ СО АН СССР, Новосибирск 90, 1982, pages:7-16, ISBN:МН 15495, Ref
|
1982
|
|
8
|
D. Skordev, On partial conjunctive reducibility. , Second All-Union Conference on Math. Logic, Inst. Prikl. Mat, 1972, pages:43-44, Ref
|
1972
|
| Студия в научно списание |
|
|
Dimiter Skordev, Andreas Weiermann, Ivan Georgiev, M-2-computable real numbers, Journal of Logic and Computation, vol:22, issue:4, 2012, pages:899-925, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:10.1093/logcom/exq050, Ref, Web of Science, IF (0.647 - 2012), Web of Science Quartile: Q1 (Logic), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Software), International, PhD
|
2012
|
| Участие в конференция |
|
1
|
Секционен доклад, Димитър Скордев, Един клас от рекурсивни функционали
|
2019
|
|
2
|
Секционен доклад, Димитър Скордев, Московакисово разширение на ефективно метрично пространство
|
2018
|
|
3
|
Секционен доклад, Dimiter Skordev, TTE computability on Moschovakis extensions
|
2018
|
|
4
|
Секционен доклад, Dimiter Skordev, Moschovakis extension of multi-represented spaces
|
2018
|
|
5
|
Секционен доклад, Димитър Скордев, 100 години от рождението на професор Ярослав Тагамлицки
|
2017
|
|
6
|
Секционен доклад, Димитър Скордев, 100 години от рождението на професор Ярослав Тагамлицки
|
2017
|
|
7
|
Секционен доклад, Dimiter Skordev, On transition from local to global presence of properties of functions
|
2016
|
|
8
|
Секционен доклад, Димитър Скордев, Някои случаи, когато от локално наличие на свойства на функции следва глобално
|
2016
|
|
9
|
Секционен доклад, Димитър Скордев, Московакисово разширение на ефективно топологично пространство
|
2015
|
|
10
|
Секционен доклад, Dimiter Skordev, Ivan Soskov's work on computability on first-order structures
|
2014
|
|
11
|
Секционен доклад, Dimiter Skordev, On a relative computability notion for real functions (joint with Ivan Georgiev)
|
2011
|
|
12
|
Секционен доклад, Dimiter Skordev, Andreas Weiermann, M²-computable real numbers
|
2009
|
|
13
|
Секционен доклад, Dimiter Skordev, E²-computability of e, π and other famous constants
|
2007
|
|
14
|
Секционен доклад, Dimiter Skordev, A computability notion for locally finite lattices
|
2005
|
|
15
|
Секционен доклад, Dimiter Skordev, Well computable real numbers
|
2001
|
|
16
|
Секционен доклад, Dimiter Skordev, On the computer proof of a result in the abstract theory of segments
|
1999
|
| Участие в редколегия |
|
|
Д. Скордев, Математическая логика. Труды конференции по математической логике, посвященной памяти А. А. Маркова (1903-1979), София, 22-23 сентября 1980 г., Участие в редколегия
|
1980
|
|