Sergei S. Goncharov

	2010
14		Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky: Decidability and Computability of Certain Torsion-Free Abelian Groups. Notre Dame Journal of Formal Logic 51(1): 85-96 (2010)
	2009
13		Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar: Categoricity of computable infinitary theories. Arch. Math. Log. 48(1): 25-38 (2009)
12		John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn: Intrinsic bounds on complexity and definability at limit levels. J. Symb. Log. 74(3): 1047-1060 (2009)
	2007
11		Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, V. Puzarenko: Index sets for classes of high rank structures. J. Symb. Log. 72(4): 1418-1432 (2007)
	2005
10		Sergei 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)
	2004
9		Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore: Pi11 relations and paths through. J. Symb. Log. 69(2): 585-611 (2004)
	2003
8		Sergei 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

1	S. A. Badaev	[5]
2	Wesley Calvert	[11] [13]
3	John Chisholm	[12]
4	Peter Cholak	[7]
5	Rodney G. Downey (Rod Downey)	[14]
6	Yuri Leonidovich Ershov	[2] [3]
7	Ekaterina B. Fokina	[11] [12]
8	Valentina S. Harizanov	[8] [9] [10] [12]
9	Asher M. Kach	[14]
10	Bakhadyr Khoussainov	[7]
11	Julia F. Knight	[8] [9] [10] [11] [12] [13] [14]
12	Oleg V. Kudinov	[11] [14]
13	Charles F. D. McCoy	[8] [10]
14	Alexander G. Melnikov	[14]
15	Jessica Millar	[13]
16	Russell Miller	[10]
17	Andrei S. Morozov	[11]
18	V. Puzarenko	[11]
19	Sara Quinn	[12]
20	Richard A. Shore	[7] [9]
21	Reed Solomon	[10]
22	Dmitri Ivanovich Sviridenko	[1] [2] [3]
23	Daniel Turetsky	[14]
24	Alexander Yakhnis	[4]
25	Vladimir Yakhnis	[4]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page