Dimiter Skordev

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 2

Top Topics

Aggregation Functions

Top Venues

Log. Methods Comput. Sci.

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Dimiter Skordev
Moschovakis Extension of Represented Spaces. Log. Methods Comput. Sci. 15 (1) (2019)
Dimiter Skordev
Some theorems on passing from local to global presence of properties of functions. Log. Methods Comput. Sci. 12 (4) (2016)
Dimiter Skordev
On Some Computability Notions for Real Functions. Comput. 2 (1) (2013)
Ivan Georgiev, Dimiter Skordev
Conditional computability of real functions with respect to a class of operators. Ann. Pure Appl. Log. 164 (5) (2013)
Dimiter Skordev
Approximation systems for functions in topological and in metric spaces. Log. Methods Comput. Sci. 9 (4) (2013)
Dimiter Skordev, Andreas Weiermann, Ivan Georgiev
-computable real numbers. J. Log. Comput. 22 (4) (2012)
Dimiter Skordev, Ivan Georgiev
On a Relative Computability Notion for Real Functions. CiE (2011)
Dimiter Skordev
-computability of e, pi and Other Famous Constants. Electron. Notes Theor. Comput. Sci. 202 (2008)
Dimiter Skordev
On the Subrecursive Computability of Several Famous Constants. J. Univers. Comput. Sci. 14 (6) (2008)
Peter Peshev, Dimiter Skordev
A Subrecursive Refinement of the Fundamental Theorem of Algebra. CiE (2006)
Dimiter Skordev, Gerry Myerson
An Impossible Difference Condition: 11074. Am. Math. Mon. 113 (4) (2006)
Dimiter Skordev
Some subrecursive versions of Grzegorczyk's Uniformity Theorem. Math. Log. Q. 50 (4-5) (2004)
Dimiter Skordev
Problem 11074. Am. Math. Mon. 111 (3) (2004)
Dimiter Skordev
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers. Math. Log. Q. 48 (S1) (2002)
Dimiter Skordev
Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions. CCA (2000)
Dimiter Skordev
An Abstract Approach to Some Loop Detection Problems. Fundam. Informaticae 31 (2) (1997)
Dimiter Skordev
Short Note: On Van Gelder's Loop Detection Algorithm. J. Log. Program. 14 (1&2) (1992)
Dimiter Skordev
On multi-valued homomorphisms. Symposium on Computation Theory (1984)
Dimiter Skordev
The First Recursion Theorem for Iterative Combinatory Spaces. Math. Log. Q. 25 (3-6) (1979)
Dimiter Skordev
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces. Math. Log. Q. 24 (8) (1978)