Yuri Leonidovich Ershov

12 papers B 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2009 J jnl
On the classification of (effective) φ-spaces.
Ann. Pure Appl. Log.
Yuri Leonidovich Ershov
2009 J jnl
Preface.
Ann. Pure Appl. Log.
Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
2005 — conf
Mathtree - Tree Catalog of Mathematical Resources in the Internet.
Automation, Control, and Information Technology
Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov
1999 J jnl
On d-Spaces.
Theor. Comput. Sci.
Yuri Leonidovich Ershov
1999 — ch.
Theory of Numberings.
Handbook of Computability Theory
Yuri Leonidovich Ershov
1998 — conf
Sigma predicates of finite types.
Workshop on Domains
Yuri Leonidovich Ershov
1997 J jnl
The Bounded-Complete Hull of an Alpha-Space.
Theor. Comput. Sci.
Yuri Leonidovich Ershov
1993 — conf
Theory of Domains and Nearby (Invited Paper).
Formal Methods in Programming and Their Applications
Yuri Leonidovich Ershov
1989 J jnl
RRC-Fields with Small Absolute Galois Groups.
Ann. Pure Appl. Log.
Yuri Leonidovich Ershov
1987 B conf
Semantic Foundations of Programming.
FCT
Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
1986 — conf
Semantic Programming.
IFIP Congress
Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko
1979 — conf
How does algebra help to solve problems from the theory of algorithms (an example).
Algorithms in Modern Mathematics and Computer Science
Yuri Leonidovich Ershov