( en | de | ru )

 

Disambiguation of "Kudinov, Oleg V."

Author of the publication

copydeleteadd this publication to your clipboard
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.

, and . CiE, volume 5635 of Lecture Notes in Computer Science, page 290-299. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Diego José Olego

Yaroslavskyy Oleg

V Saile

V Geoffroy

V. Sivaraman

 

Other publications of authors with the same name

SigmaK-constraints for Hybrid Systems., and . Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 230-241. Springer, (2009)On the Lattices of Effectively Open Sets., and . CiE, volume 9709 of Lecture Notes in Computer Science, page 302-311. Springer, (2016)Definability in the Homomorphic Quasiorder of Finite Labeled Forests., and . CiE, volume 4497 of Lecture Notes in Computer Science, page 436-445. Springer, (2007)On Higher Effective Descriptive Set Theory., and . CiE, volume 10307 of Lecture Notes in Computer Science, page 282-291. Springer, (2017)Outline of Partial Computability in Computable Topology., and . CiE, volume 10307 of Lecture Notes in Computer Science, page 64-76. Springer, (2017)Semantic Characterisations of Second-Order Computability over the Real Numbers., and . CSL, volume 2142 of Lecture Notes in Computer Science, page 160-172. Springer, (2001)Undecidability in Weihrauch Degrees., , and . CiE, volume 6158 of Lecture Notes in Computer Science, page 256-265. Springer, (2010)Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests., and . J. Log. Comput., 17 (6): 1135-1151 (2007)Complexity for partial computable functions over computable Polish spaces., and . Math. Struct. Comput. Sci., 28 (3): 429-447 (2018)Rice-Shapiro theorem in Computable Topology., and . CoRR, (2017)