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

Remarks on Sigma-definability without the equality test over the Reals., and . CCA, volume 202 of Electronic Notes in Theoretical Computer Science, page 305-313. Elsevier, (2007)On computable presentations of some functional lattices.. J. Log. Algebraic Methods Program., 79 (1): 38-46 (2010)On Cohesive powers of linear Orders., , , , , and . J. Symb. Log., 88 (3): 947-1004 (2023)On the isomorphism problem for some classes of computable algebraic structures., , , , and . Arch. Math. Log., 61 (5-6): 813-825 (2022)Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order., , , and . Order, 19 (4): 343-364 (2002)On Computable Automorphisms of The Rational Numbers., and . J. Symb. Log., 66 (3): 1458-1470 (2001)Editorial., and . Theory Comput. Syst., 49 (2): 225-226 (2011)Algebraic specified processes and enumerable models.. Conference on Computer Logic, volume 417 of Lecture Notes in Computer Science, page 1-2. Springer, (1988)Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra., , and . CiE, volume 9709 of Lecture Notes in Computer Science, page 251-260. Springer, (2016)Cohesive Powers of Linear Orders., , , , , and . CiE, volume 11558 of Lecture Notes in Computer Science, page 168-180. Springer, (2019)