Author of the publication

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.

 

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 Higher Effective Descriptive Set Theory., and . CiE, volume 10307 of Lecture Notes in Computer Science, page 282-291. Springer, (2017)Definability in the Homomorphic Quasiorder of Finite Labeled Forests., and . CiE, volume 4497 of Lecture Notes in Computer Science, page 436-445. Springer, (2007)Outline of Partial Computability in Computable Topology., and . CiE, volume 10307 of Lecture Notes in Computer Science, page 64-76. Springer, (2017)On the Lattices of Effectively Open Sets., and . CiE, volume 9709 of Lecture Notes in Computer Science, page 302-311. Springer, (2016)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)Index sets for classes of high rank structures., , , , , , and . J. Symb. Log., 72 (4): 1418-1432 (2007)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)Rice's Theorem in Effectively Enumerable Topological Spaces., and . CiE, volume 9136 of Lecture Notes in Computer Science, page 226-235. Springer, (2015)