Sergei S. Goncharov

15 papers B 1Misc 1Journal 11Unranked 2

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Decidability and Computability of Certain Torsion-Free Abelian Groups. Notre Dame J. Formal Log. Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky
2009	J	`jnl`	Categoricity of computable infinitary theories. Arch. Math. Log. Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar
2009	J	`jnl`	Intrinsic bounds on complexity and definability at limit levels. J. Symb. Log. John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn
2007	J	`jnl`	Index sets for classes of high rank structures. J. Symb. Log. Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
2005	J	`jnl`	Enumerations in computable structure theory. Ann. Pure Appl. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
2004	J	`jnl`	Pi J. Symb. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
2003	J	`jnl`	Simple and immune relations on countable structures. Arch. Math. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
1999	J	`jnl`	Computably Categorical Structures and Expansions by Constants. J. Symb. Log. Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
1998	J	`jnl`	Decidable Boolean Algebras of Low Level. Ann. Pure Appl. Log. Sergei S. Goncharov
1994	Misc	`conf`	Classes with Pairwise Equivalent Enumerations. LFCS Sergei S. Goncharov, Serikzhan A. Badaev
1993	J	`jnl`	Some Effectively Infinite Classes of Enumerations. Ann. Pure Appl. Log. Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis
1987	J	`jnl`	Axiomatizable classes with strong homomorphisms. Stud Logica Sergei S. Goncharov
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
1985	—	`conf`	Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems Sergei S. Goncharov, Dmitri Ivanovich Sviridenko