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

Yuri Leonidovich Ershov Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov: Preface. Ann. Pure Appl. Logic 159(3): 249-250 (2009)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov: On the classification of (effective) phi-spaces. Ann. Pure Appl. Logic 159(3): 285-291 (2009)
2005
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov: Sigma predicates of finite types. Electr. Notes Theor. Comput. Sci. 35: 85 (2000)
1999
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov: On d-Spaces. Theor. Comput. Sci. 224(1-2): 59-72 (1999)
1997
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov: The Bounded-Complete Hull of an Alpha-Space. Theor. Comput. Sci. 175(1): 3-13 (1997)
1993
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov: Theory of Domains and Nearby (Invited Paper). Formal Methods in Programming and Their Applications 1993: 1-7
1989
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov: RRC-Fields with Small Absolute Galois Groups. Ann. Pure Appl. Logic 43(3): 197-208 (1989)
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Semantic Foundations of Programming. FCT 1987: 116-122
1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko: Semantic Programming. IFIP Congress 1986: 1113-1120
1979
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri 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]
3Klaus Keimel [11]
4O. Klimenko [9]
5Ulrich Kohlenbach [11]
6Andrei Morozov [11]
7Dmitri Ivanovich Sviridenko [2] [3]
8O. Trofimov [9]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page