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

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)Kolmogorov complexity and set theoretical representations of integers., and . Math. Log. Q., 52 (4): 375-403 (2006)Decision problems among the main subfamilies of rational relations., , and . RAIRO Theor. Informatics Appl., 40 (2): 255-275 (2006)The algebra of binary trees is affine complete., , , and . CoRR, (2020)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)The Theory of Rational Relations on Transfinite Strings., and . Words, Languages & Combinatorics, page 103-133. World Scientific, (2000)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)On Lattices of Regular Sets of Natural Integers Closed under Decrementation., , and . CoRR, (2013)