Publication

Found 2 results
Filters: Author is Hideki Tsuiki  [Clear All Filters]
2015
Spreen D, Tsuiki H.  2015.  Computing with Compact Sets - the Gray Code Case. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
Berger U, Miyamoto K, Schwichtenberg H, Tsuiki H.  2015.  Logic for Gray code computation. CCA:Twelfth International Conference on Computability and Complexity in Analysis.