Dimiter Skordev - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2019

Moschovakis Extension of Represented SpacesDimiter Skordev. lmcs, 15(1), 2019. [doi]

2017

Ivan Soskov: A Life in ComputabilityHristo Ganchev, Dimiter Skordev. In S. Barry Cooper, Mariya Ivanova Soskova, editors, The Incomputable: Journeys Beyond the Turing Barrier. pages 11-46, Springer International Publishing, 2017. [doi]

2016

Some theorems on passing from local to global presence of properties of functionsDimiter Skordev. lmcs, 12(4), 2016. [doi]

2013

Conditional computability of real functions with respect to a class of operatorsIvan Georgiev, Dimiter Skordev. APAL, 164(5):550-565, 2013. [doi]

On Some Computability Notions for Real FunctionsDimiter Skordev. computability, 2(1):67-73, 2013. [doi]

2012

2-computable real numbersDimiter Skordev, Andreas Weiermann, Ivan Georgiev. logcom, 22(4):899-925, 2012. [doi]

2011

On a Relative Computability Notion for Real FunctionsDimiter Skordev, Ivan Georgiev. CiE 2011: 270-279 [doi]

2008

On the Subrecursive Computability of Several Famous ConstantsDimiter Skordev. jucs, 14(6):861-875, 2008.

e:::2:::-computability of e, pi and Other Famous ConstantsDimiter Skordev. ENTCS, 202:37-47, 2008. [doi]

2006

A Subrecursive Refinement of the Fundamental Theorem of AlgebraPeter Peshev, Dimiter Skordev. cie 2006: 435-444 [doi]

An Impossible Difference Condition: 11074Dimiter Skordev, Gerry Myerson. tamm, 113(4):367-368, 2006. [doi]

2004

Some subrecursive versions of Grzegorczyk s Uniformity TheoremDimiter Skordev. mlq, 50(4-5):520-524, 2004. [doi]

Problem 11074Dimiter Skordev. tamm, 111(3):260, 2004. [doi]

2002

Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural NumbersDimiter Skordev. mlq, 48(S1):91-106, 2002. [doi]

2000

Characterization of the Computable Real Numbers by Means of Primitive Recursive FunctionsDimiter Skordev. cca 2001: 296-309 [doi]

1997

An Abstract Approach to Some Loop Detection ProblemsDimiter Skordev. FUIN, 31(2):195-212, 1997.

1992

Short Note: On Van Gelder s Loop Detection AlgorithmDimiter Skordev. jlp, 14(1&2):181-183, 1992.

1984

On multi-valued homomorphismsDimiter Skordev. sct 1985: 326-331 [doi]

1979

The First Recursion Theorem for Iterative Combinatory SpacesDimiter Skordev. mlq, 25(3-6):69-77, 1979. [doi]

1978

A Normal form Theorem for Recursive Operators in Iterative Combinatory SpacesDimiter Skordev. mlq, 24(8):115-124, 1978. [doi]

Sign in or sign up to see more results.

runs on WebDSL