Yu. D. Korolkov, “Representing the models by the finite trees”, Bulletin of Irkutsk State University. Series Mathematics, 5:1 (2012), 48–56
2010
2.
Yu. D. Korolkov, “Computable families of finite-valued computable functions”, Bulletin of Irkutsk State University. Series Mathematics, 3:4 (2010), 58–64
2004
3.
Yu. D. Korolkov, “Isomorphism of the index sets of discrete families of general recursive functions”, Sibirsk. Mat. Zh., 45:5 (2004), 1136–1141; Siberian Math. J., 45:5 (2004), 935–939
2002
4.
Yu. D. Korolkov, “Evaluating the Complexity of Index Sets for Families of General Recursive Functions in the Arithmetic Hierarchy”, Algebra Logika, 41:2 (2002), 155–165; Algebra and Logic, 41:2 (2002), 87–92
Contact us: