Yuri Leonidovich Ershov

Publication Activity (10 Years)

Years Active: 1979-2009
Publications (10 Years): 0

Publications

Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
Preface. Ann. Pure Appl. Log. 159 (3) (2009)
Yuri Leonidovich Ershov
On the classification of (effective) φ-spaces. Ann. Pure Appl. Log. 159 (3) (2009)
Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov
Mathtree - Tree Catalog of Mathematical Resources in the Internet. Automation, Control, and Information Technology (2005)
Yuri Leonidovich Ershov
Sigma predicates of finite types. Electron. Notes Theor. Comput. Sci. 35 (2000)
Yuri Leonidovich Ershov
On d-Spaces. Theor. Comput. Sci. 224 (1-2) (1999)
Yuri Leonidovich Ershov
The Bounded-Complete Hull of an Alpha-Space. Theor. Comput. Sci. 175 (1) (1997)
Yuri Leonidovich Ershov
Theory of Domains and Nearby (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Yuri Leonidovich Ershov
RRC-Fields with Small Absolute Galois Groups. Ann. Pure Appl. Log. 43 (3) (1989)
Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
Semantic Foundations of Programming. FCT (1987)
Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko
Semantic Programming. IFIP Congress (1986)
Yuri Leonidovich Ershov
How does algebra help to solve problems from the theory of algorithms (an example). Algorithms in Modern Mathematics and Computer Science (1979)