Sergei S. Goncharov

Publication Activity (10 Years)

Years Active: 1985-2010
Publications (10 Years): 0

Publications

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 J. Formal Log. 51 (1) (2010)
Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar
Categoricity of computable infinitary theories. Arch. Math. Log. 48 (1) (2009)
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) (2009)
Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
Index sets for classes of high rank structures. J. Symb. Log. 72 (4) (2007)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Enumerations in computable structure theory. Ann. Pure Appl. Log. 136 (3) (2005)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
relations and paths through. J. Symb. Log. 69 (2) (2004)
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) (2003)
Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
Computably Categorical Structures and Expansions by Constants. J. Symb. Log. 64 (1) (1999)
Sergei S. Goncharov
Decidable Boolean Algebras of Low Level. Ann. Pure Appl. Log. 94 (1-3) (1998)
Sergei S. Goncharov, Serikzhan A. Badaev
Classes with Pairwise Equivalent Enumerations. LFCS (1994)
Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis
Some Effectively Infinite Classes of Enumerations. Ann. Pure Appl. Log. 60 (3) (1993)
Sergei S. Goncharov
Axiomatizable classes with strong homomorphisms. Stud Logica 46 (2) (1987)
Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
Semantic Foundations of Programming. FCT (1987)
Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko
Semantic Programming. IFIP Congress (1986)
Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems (1985)