Berger, Ulrich, Miyamoto, Kenji, Schwichtenberg, Helmut and Tsuiki, Hideki. "Logic for Gray-code Computation".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 69-110.
https://doi.org/10.1515/9781501502620-005
Berger, U., Miyamoto, K., Schwichtenberg, H. & Tsuiki, H. (2016). Logic for Gray-code Computation. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 69-110). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-005
Berger, U., Miyamoto, K., Schwichtenberg, H. and Tsuiki, H. 2016. Logic for Gray-code Computation. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 69-110.
https://doi.org/10.1515/9781501502620-005
Berger, Ulrich, Miyamoto, Kenji, Schwichtenberg, Helmut and Tsuiki, Hideki. "Logic for Gray-code Computation" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 69-110. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-005
Berger U, Miyamoto K, Schwichtenberg H, Tsuiki H. Logic for Gray-code Computation. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.69-110.
https://doi.org/10.1515/9781501502620-005
Copied to clipboard