dblp.uni-trier.dewww.uni-trier.de

Dimiter Skordev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEDimiter 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
6EEPeter Peshev, Dimiter Skordev: A Subrecursive Refinement of the Fundamental Theorem of Algebra. CiE 2006: 435-444
2004
5EEDimiter Skordev: Some subrecursive versions of Grzegorczyk's Uniformity Theorem. Math. Log. Q. 50(4-5): 520-524 (2004)
2002
4EEDimiter 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
3EEDimiter 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)

Coauthor Index

1Peter Peshev [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)