 | 2005 |
|---|
| 9 |       | 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) |
| 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 |
