Search the dblp DataBase

Publications of Author

1. Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov
   Mathtree - Tree Catalog of Mathematical Resources in the Internet. [Citation Graph (0, 0)][DBLP]
   Automation, Control, and Information Technology, 2005, pp:76-80 [Conf]
   
2. Yuri Leonidovich Ershov
   How does algebra help to solve problems from the theory of algorithms (an example). [Citation Graph (0, 0)][DBLP]
   Algorithms in Modern Mathematics and Computer Science, 1979, pp:462-463 [Conf]
   
3. Yuri Leonidovich Ershov
   Theory of Domains and Nearby (Invited Paper). [Citation Graph (0, 0)][DBLP]
   Formal Methods in Programming and Their Applications, 1993, pp:1-7 [Conf]
   
4. Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
   Semantic Foundations of Programming. [Citation Graph (0, 0)][DBLP]
   FCT, 1987, pp:116-122 [Conf]
   
5. Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko
   Semantic Programming. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1986, pp:1113-1120 [Conf]
   
6. Yuri Leonidovich Ershov
   RRC-Fields with Small Absolute Galois Groups. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:43, n:3, pp:197-208 [Journal]
   
7. Yuri Leonidovich Ershov
   Sigma predicates of finite types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
   
8. Yuri Leonidovich Ershov
   The Bounded-Complete Hull of an Alpha-Space. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:175, n:1, pp:3-13 [Journal]
   
9. Yuri Leonidovich Ershov
   On d-Spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:59-72 [Journal]
   
10. 
    On the classification of (effective) phi-spaces. [Citation Graph (, )][DBLP]
    
    
11. 
    Preface. [Citation Graph (, )][DBLP]