The following pages link to Dimiter Skordev (Q1944332):
Displayed 50 items.
- (Q787975) (redirect page) (← links)
- (Q1259578) (redirect page) (← links)
- Embedding of iterative Post algebras in a semigroup (Q787976) (← links)
- On a class of bases for Boolean functions (Q843614) (← links)
- Some models of combinatory logic (Q1259579) (← links)
- Conditional computability of real functions with respect to a class of operators (Q1944333) (← links)
- On Some Computability Notions for Real Functions (Q2851190) (← links)
- Approximation systems for functions in topological and in metric spaces (Q2865069) (← links)
- Formula2-computable real numbers (Q2907063) (← links)
- Some theorems on passing from local to global presence of properties of functions (Q2974787) (← links)
- On a Relative Computability Notion for Real Functions (Q3091465) (← links)
- Some subrecursive versions of Grzegorczyk's Uniformity Theorem (Q3159436) (← links)
- (Q3220557) (← links)
- (Q3314966) (← links)
- (Q3322087) (← links)
- (Q3365455) (← links)
- (Q3365511) (← links)
- (Q3365551) (← links)
- (Q3365556) (← links)
- (Q3365587) (← links)
- (Q3518435) (← links)
- (Q3666836) (← links)
- (Q3759942) (← links)
- (Q3805879) (← links)
- (Q3807167) (← links)
- (Q3847668) (← links)
- (Q3877673) (← links)
- (Q3879225) (← links)
- (Q3898488) (← links)
- (Q3902485) (← links)
- (Q3974602) (← links)
- (Q4003236) (← links)
- On Van Gelder's loop detection algorithm (Q4015956) (← links)
- (Q4029607) (← links)
- (Q4041565) (← links)
- (Q4078001) (← links)
- (Q4087246) (← links)
- (Q4093428) (← links)
- (Q4100072) (← links)
- (Q4108310) (← links)
- (Q4126597) (← links)
- (Q4133626) (← links)
- (Q4133627) (← links)
- (Q4135480) (← links)
- (Q4138720) (← links)
- (Q4147965) (← links)
- A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces (Q4190625) (← links)
- The First Recursion Theorem for Iterative Combinatory Spaces (Q4198499) (← links)
- (Q4273428) (← links)
- (Q4322595) (← links)
- (Q4325146) (← links)