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

Sergei S. Goncharov Vis

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

*2005
9EESergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon: Enumerations in computable structure theory. Ann. Pure Appl. Logic 136(3): 219-246 (2005)
2003
8EESergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy: Simple and immune relations on countable structures. Arch. Math. Log. 42(3): 279-291 (2003)
1999
7 Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore: Computably Categorical Structures and Expansions by Constants. J. Symb. Log. 64(1): 13-37 (1999)
1998
6 Sergei S. Goncharov: Decidable Boolean Algebras of Low Level. Ann. Pure Appl. Logic 94(1-3): 75-95 (1998)
1994
5 Sergei S. Goncharov, S. A. Badaev: Classes with Pairwise Equivalent Enumerations. LFCS 1994: 140-141
1993
4 Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis: Some Effectively Infinite Classes of Enumerations. Ann. Pure Appl. Logic 60(3): 207-235 (1993)
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
1985
1 Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 169-179

Coauthor Index

1S. A. Badaev [5]
2Peter Cholak [7]
3Yuri Leonidovich Ershov [2] [3]
4Valentina S. Harizanov [8] [9]
5Bakhadyr Khoussainov [7]
6Julia F. Knight [8] [9]
7Charles F. D. McCoy [8] [9]
8Russell Miller [9]
9Richard A. Shore [7]
10Reed Solomon [9]
11Dmitri Ivanovich Sviridenko [1] [2] [3]
12Alexander Yakhnis [4]
13Vladimir Yakhnis [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)