Publication

Found 2 results
Filters: Author is Kenji Miyamoto  [Clear All Filters]
2016
Berger U, Miyamoto K, Schwichtenberg H, Hideki T.  2016.  Logic for Gray-code Computation.. Concepts of Proof in Mathematics, Philosophy, and Computer Science. :69–110.
2015
Berger U, Miyamoto K, Schwichtenberg H, Tsuiki H.  2015.  Logic for Gray code computation. CCA:Twelfth International Conference on Computability and Complexity in Analysis.