A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces. - Dimiter Skordev (Math. Log. Q., 1978)

The First Recursion Theorem for Iterative Combinatory Spaces. - Dimiter Skordev (Math. Log. Q., 1979)

On multi-valued homomorphisms. - Dimiter Skordev (Symposium on Computation Theory, 1984)

Short Note: On Van Gelder's Loop Detection Algorithm. - Dimiter Skordev (J. Log. Program., 1992)

An Abstract Approach to Some Loop Detection Problems. - Dimiter Skordev (Fundam. Informaticae, 1997)

Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions. - Dimiter Skordev (CCA, 2000)

Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers. - Dimiter Skordev (Math. Log. Q., 2002)

Some subrecursive versions of Grzegorczyk's Uniformity Theorem. - Dimiter Skordev (Math. Log. Q., 2004)

Problem 11074. - Dimiter Skordev (Am. Math. Mon., 2004)

A Subrecursive Refinement of the Fundamental Theorem of Algebra. - Peter Peshev; Dimiter Skordev (CiE, 2006)

An Impossible Difference Condition: 11074. - Dimiter Skordev; Gerry Myerson (Am. Math. Mon., 2006)

e2-computability of e, pi and Other Famous Constants. - Dimiter Skordev (CCA, 2007)

On the Subrecursive Computability of Several Famous Constants. - Dimiter Skordev (J. Univers. Comput. Sci., 2008)

On a Relative Computability Notion for Real Functions. - Dimiter Skordev; Ivan Georgiev (CiE, 2011)

M2-computable real numbers. - Dimiter Skordev; Andreas Weiermann; Ivan Georgiev (J. Log. Comput., 2012)

Conditional computability of real functions with respect to a class of operators. - Ivan Georgiev; Dimiter Skordev (Ann. Pure Appl. Log., 2013)

On Some Computability Notions for Real Functions. - Dimiter Skordev (Comput., 2013)

Approximation systems for functions in topological and in metric spaces. - Dimiter Skordev (Log. Methods Comput. Sci., 2013)

Some theorems on passing from local to global presence of properties of functions. - Dimiter Skordev (Log. Methods Comput. Sci., 2016)

Ivan Soskov: A Life in Computability. - Hristo Ganchev; Dimiter Skordev (The Incomputable, 2017)

Moschovakis Extension of Represented Spaces. - Dimiter Skordev (Log. Methods Comput. Sci., 2019)