Author of the publication

Definability in the Homomorphic Quasiorder of Finite Labeled Forests.

, and . CiE, volume 4497 of Lecture Notes in Computer Science, page 436-445. 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.

 

Other publications of authors with the same name

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)Outline of Partial Computability in Computable Topology., and . CiE, volume 10307 of Lecture Notes in Computer Science, page 64-76. Springer, (2017)On Higher Effective Descriptive Set Theory., and . CiE, volume 10307 of Lecture Notes in Computer Science, page 282-291. 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)SigmaK-constraints for Hybrid Systems., and . Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 230-241. Springer, (2009)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., and . J. Log. Comput., 19 (1): 159-174 (2009)Characteristic Properties of Majorant-Computability over the Reals., and . CSL, volume 1584 of Lecture Notes in Computer Science, page 188-203. Springer, (1998)