( en | de | ru )

 

Disambiguation of "Korovina, Margarita V."

Author of the publication

copydeleteadd this publication to your clipboard
The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis.

, and . CiE, volume 4497 of Lecture Notes in Computer Science, page 416-425. Springer, (2007)

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.

Margarita Rinnert

TFF-Peptide im menschlichen Urogenitaltrakt. Uni Magdeburg, (2009)

V Saile

V Geoffroy

V. Sivaraman

V Ustinov

 

Other publications of authors with the same name

Computable elements and functions in effectively enumerable topological spaces., and . Math. Struct. Comput. Sci., 27 (8): 1466-1494 (2017)On the computability of ordered fields., and . CoRR, (2020)Gandy's Theorem for Abstract Structures without the Equality Test.. LPAR, volume 2850 of Lecture Notes in Computer Science, page 290-301. Springer, (2003)Highlights of the Rice-Shapiro Theorem in Computable Topology., and . Ershov Informatics Conference, volume 10742 of Lecture Notes in Computer Science, page 241-255. Springer, (2017)Generalised Computability and Applications to Hybrid Systems., and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 494-499. Springer, (2001)Satisfiability of Viability Constraints for Pfaffian Dynamics., and . Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 260-269. Springer, (2006)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)On sigma-definability without equality over the real numbers., and . Math. Log. Q., 54 (5): 535-544 (2008)Towards Computability of Higher Type Continuous Data., and . CiE, volume 3526 of Lecture Notes in Computer Science, page 235-241. Springer, (2005)