Research output

1. On the Group of Computable Automorphisms of the Linear Order of the Reals

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

2. Computable metrics above the standard real metric

   Research output: Contribution to journal › Article › peer-review

3. Reducibility of Computable Metrics on the Real Line

   Research output: Contribution to journal › Article › peer-review

View all (3) »