Sergey Goncharov

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 3

Top Topics

Programming Language

Semantically Equivalent

Umls Metathesaurus

Top Venues

Arch. Math. Log.

Int. J. Algebra Comput.

Publications

Nikolay Bazhenov, Sergey Goncharov, Alexander G. Melnikov
Decompositions of decidable abelian groups. Int. J. Algebra Comput. 30 (1) (2020)
Sergey Goncharov, Sergey Ospichev, Denis K. Ponomaryov, Dmitry Sviridenko
The Expressiveness of Looping Terms in the Semantic Programming. CoRR (2019)
Sergey Goncharov, Julia F. Knight, Ioannis A. Souldatos
Hanf number for Scott sentences of computable structures. Arch. Math. Log. 57 (7-8) (2018)
Klaus Ambos-Spies, Serikzhan A. Badaev, Sergey Goncharov
On a Question of Frank Stephan. TAMC (2008)