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

Yuri Leonidovich Ershov

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

2005
9 Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov: Mathtree - Tree Catalog of Mathematical Resources in the Internet. Automation, Control, and Information Technology 2005: 76-80
2000
8EEYuri Leonidovich Ershov: Sigma predicates of finite types. Electr. Notes Theor. Comput. Sci. 35: (2000)
1999
7EEYuri Leonidovich Ershov: On d-Spaces. Theor. Comput. Sci. 224(1-2): 59-72 (1999)
1997
6EEYuri Leonidovich Ershov: The Bounded-Complete Hull of an Alpha-Space. Theor. Comput. Sci. 175(1): 3-13 (1997)
1993
5 Yuri Leonidovich Ershov: Theory of Domains and Nearby (Invited Paper). Formal Methods in Programming and Their Applications 1993: 1-7
1989
4 Yuri Leonidovich Ershov: RRC-Fields with Small Absolute Galois Groups. Ann. Pure Appl. Logic 43(3): 197-208 (1989)
1987
3 Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Semantic Foundations of Programming. FCT 1987: 116-122
1986
2 Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko: Semantic Programming. IFIP Congress 1986: 1113-1120
1979
1 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: 462-463

Coauthor Index

1V. Filippov [9]
2Sergei S. Goncharov [2] [3]
3O. Klimenko [9]
4Dmitri Ivanovich Sviridenko [2] [3]
5O. Trofimov [9]

Colors in the list of coauthors

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