|
|
Publications in Math-Net.Ru |
Citations |
|
1990 |
1. |
Yu. V. Golunkov, “Completeness with given accuracy in function systems of program type”, Diskr. Mat., 2:3 (1990), 42–49 |
1
|
2. |
Yu. V. Golunkov, “Completeness modulo an ideal in functional systems of program type”, Diskr. Mat., 2:2 (1990), 112–120 ; Discrete Math. Appl., 2:1 (1992), 59–68 |
1
|
|
1988 |
3. |
Yu. V. Golunkov, “Degree of undecidability of the completeness problem in algebras of recursive functions”, Mat. Zametki, 44:5 (1988), 620–627 ; Math. Notes, 44:5 (1988), 819–823 |
2
|
|
1984 |
4. |
Yu. V. Golunkov, A. A. Savel'ev, “A lattice of systems of algorithmic algebras of partial recursive functions and predicates”, Izv. Vyssh. Uchebn. Zaved. Mat., 1984, no. 11, 57–59 ; Soviet Math. (Iz. VUZ), 28:11 (1984), 71–74 |
5. |
Yu. V. Golunkov, “Some families of maximal subsystems of algebras in a system of algorithmic algebras of partial recursive functions and predicates. II”, Izv. Vyssh. Uchebn. Zaved. Mat., 1984, no. 2, 20–26 ; Soviet Math. (Iz. VUZ), 28:2 (1984), 26–35 |
|
1983 |
6. |
Yu. V. Golunkov, “Some families of maximal subsystems of algebras in a system of algorithmic algebras of partial recursive functions and predicates. I”, Izv. Vyssh. Uchebn. Zaved. Mat., 1983, no. 12, 13–20 ; Soviet Math. (Iz. VUZ), 27:12 (1983), 13–22 |
|
1978 |
7. |
Yu. V. Golunkov, “Precomplete classes of algorithms that preserve the membership in a set”, Izv. Vyssh. Uchebn. Zaved. Mat., 1978, no. 7, 93–96 ; Soviet Math. (Iz. VUZ), 22:7 (1978), 77–79 |
|
1977 |
8. |
Yu. V. Golunkov, “On the theory of systems of algorithmic algebras”, Dokl. Akad. Nauk SSSR, 232:4 (1977), 749–752 |
2
|
|
1965 |
9. |
Yu. V. Golunkov, “The class of mappings of $P_2^n$ into itself which are realizable by formulas”, Uchenye Zapiski Kazanskogo Universiteta, 125:6 (1965), 34–44 |
|
1963 |
10. |
Yu. V. Golunkov, “Iterations of the functions of the algebra of logic”, Uchenye Zapiski Kazanskogo Universiteta, 123:6 (1963), 129–147 |
|
1962 |
11. |
Yu. V. Golunkov, “Solution of problems by a search method”, Uchenye Zapiski Kazanskogo Universiteta, 122:4 (1962), 74–81 |
|
|
|