Dimiter Skordev

According to our database, Dimiter Skordev authored at least 21 papers between 1978 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Moschovakis Extension of Represented Spaces.

Dimiter Skordev

Log. Methods Comput. Sci., 2019

2017

Ivan Soskov: A Life in Computability.

Hristo Ganchev, Dimiter Skordev

Proceedings of the Incomputable: Journeys Beyond the Turing Barrier, 2017

2016

Some theorems on passing from local to global presence of properties of functions.

Dimiter Skordev

Log. Methods Comput. Sci., 2016

2013

Approximation systems for functions in topological and in metric spaces.

Dimiter Skordev

Log. Methods Comput. Sci., 2013

On Some Computability Notions for Real Functions.

Dimiter Skordev

Comput., 2013

Conditional computability of real functions with respect to a class of operators.

Ivan Georgiev, Dimiter Skordev

Ann. Pure Appl. Log., 2013

2012

<i>M</i>²-computable real numbers.

Dimiter Skordev, Andreas Weiermann, Ivan Georgiev

J. Log. Comput., 2012

2011

On a Relative Computability Notion for Real Functions.

Dimiter Skordev, Ivan Georgiev

Proceedings of the Models of Computation in Context, 2011

2008

On the Subrecursive Computability of Several Famous Constants.

Dimiter Skordev

J. Univers. Comput. Sci., 2008

2007

e²-computability of e, pi and Other Famous Constants.

Dimiter Skordev

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

2006

An Impossible Difference Condition: 11074.

Dimiter Skordev, Gerry Myerson

Am. Math. Mon., 2006

A Subrecursive Refinement of the Fundamental Theorem of Algebra.

Peter Peshev, Dimiter Skordev

Proceedings of the Logical Approaches to Computational Barriers, 2006

2004

Problem 11074.

Dimiter Skordev

Am. Math. Mon., 2004

Some subrecursive versions of Grzegorczyk's Uniformity Theorem.

Dimiter Skordev

Math. Log. Q., 2004

2002

Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.

Dimiter Skordev

Math. Log. Q., 2002

2000

Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions.

Dimiter Skordev

Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000

1997

An Abstract Approach to Some Loop Detection Problems.

Dimiter Skordev

Fundam. Informaticae, 1997

1992

Short Note: On Van Gelder's Loop Detection Algorithm.

Dimiter Skordev

J. Log. Program., 1992

1984

On multi-valued homomorphisms.

Dimiter Skordev

Proceedings of the Computation Theory, 1984

1979

The First Recursion Theorem for Iterative Combinatory Spaces.

Dimiter Skordev

Math. Log. Q., 1979

1978

A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.

Dimiter Skordev

Math. Log. Q., 1978