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

Wadge hardness in Scott spaces and its effectivization., and . Math. Struct. Comput. Sci., 25 (7): 1520-1545 (2015)On Lattices of Regular Sets of Natural Integers Closed under Decrementation., , and . CoRR, (2013)Integral Difference Ratio Functions on Integers., , and . Computing with New Resources, volume 8808 of Lecture Notes in Computer Science, page 277-291. Springer, (2014)Rational relations having a rational trace on each finite intersection of rational relations., and . Theor. Comput. Sci., (2012)Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)).. J. Symb. Log., 55 (1): 260-276 (1990)On lattices of regular sets of natural integers closed under decrementation., , and . Inf. Process. Lett., 114 (4): 197-202 (2014)Kolmogorov complexity and set theoretical representations of integers., and . Math. Log. Q., 52 (4): 375-403 (2006)ASMs and Operational Algorithmic Completeness of Lambda Calculus., and . Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 301-327. Springer, (2010)Evolving Multialgebras Unify All Usual Sequential Computation Models., and . STACS, volume 5 of LIPIcs, page 417-428. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization., and . Math. Struct. Comput. Sci., 25 (7): 1490-1519 (2015)