Dimiter Skordev

20 papers C 4Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2019 J jnl
Moschovakis Extension of Represented Spaces.
Log. Methods Comput. Sci.
Dimiter Skordev
2017 — ch.
Ivan Soskov: A Life in Computability.
The Incomputable
Hristo Ganchev, Dimiter Skordev
2016 J jnl
Some theorems on passing from local to global presence of properties of functions.
Log. Methods Comput. Sci.
Dimiter Skordev
2013 J jnl
Approximation systems for functions in topological and in metric spaces.
Log. Methods Comput. Sci.
Dimiter Skordev
2013 J jnl
Conditional computability of real functions with respect to a class of operators.
Ann. Pure Appl. Log.
Ivan Georgiev, Dimiter Skordev
2013 J jnl
On Some Computability Notions for Real Functions.
Comput.
Dimiter Skordev
2011 C conf
On a Relative Computability Notion for Real Functions.
CiE
Dimiter Skordev, Ivan Georgiev
2008 J jnl
On the Subrecursive Computability of Several Famous Constants.
J. Univers. Comput. Sci.
Dimiter Skordev
2007 C conf
e
CCA
Dimiter Skordev
2006 C conf
A Subrecursive Refinement of the Fundamental Theorem of Algebra.
CiE
Peter Peshev, Dimiter Skordev
2006 J jnl
An Impossible Difference Condition: 11074.
Am. Math. Mon.
Dimiter Skordev, Gerry Myerson
2004 J jnl
Problem 11074.
Am. Math. Mon.
Dimiter Skordev
2004 J jnl
Some subrecursive versions of Grzegorczyk's Uniformity Theorem.
Math. Log. Q.
Dimiter Skordev
2002 J jnl
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.
Math. Log. Q.
Dimiter Skordev
2000 C conf
Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions.
CCA
Dimiter Skordev
1997 J jnl
An Abstract Approach to Some Loop Detection Problems.
Fundam. Informaticae
Dimiter Skordev
1992 J jnl
Short Note: On Van Gelder's Loop Detection Algorithm.
J. Log. Program.
Dimiter Skordev
1984 — conf
On multi-valued homomorphisms.
Symposium on Computation Theory
Dimiter Skordev
1979 J jnl
The First Recursion Theorem for Iterative Combinatory Spaces.
Math. Log. Q.
Dimiter Skordev
1978 J jnl
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.
Math. Log. Q.
Dimiter Skordev