Research output

1. On Mutual Definability of Operations on Fields

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

2. Computable Topology for Reliable Computations

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

3. Complexity for partial computable functions over computable Polish spaces

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

View all (5) »