 | 2008 |
|---|
| 8 |       | Dimiter Skordev:
e2-computability of e, pi and Other Famous Constants.
Electr. Notes Theor. Comput. Sci. 202: 37-47 (2008) |
| 7 |  | Dimiter Skordev:
On the Subrecursive Computability of Several Famous Constants.
J. UCS 14(6): 861-875 (2008) |
| 2006 |
|---|
| 6 | | Peter Peshev,
Dimiter Skordev:
A Subrecursive Refinement of the Fundamental Theorem of Algebra.
CiE 2006: 435-444 |
| 2004 |
|---|
| 5 | | Dimiter Skordev:
Some subrecursive versions of Grzegorczyk's Uniformity Theorem.
Math. Log. Q. 50(4-5): 520-524 (2004) |
| 2002 |
|---|
| 4 | | 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): 91-106 (2002) |
| 2000 |
|---|
| 3 | | Dimiter Skordev:
Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions.
CCA 2000: 296-309 |
| 1997 |
|---|
| 2 | | Dimiter Skordev:
An Abstract Approach to Some Loop Detection Problems.
Fundam. Inform. 31(2): 195-212 (1997) |
| 1992 |
|---|
| 1 | | Dimiter Skordev:
Short Note: On Van Gelder's Loop Detection Algorithm.
J. Log. Program. 14(1&2): 181-183 (1992) |
