Logo Logo

Publications by Miyamoto, Kenji

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 2.

Journal article

Miyamoto, Kenji; Schwichtenberg, Helmut (2015): Program extraction in exact real arithmetic. In: Mathematical Structures in Computer Science, Vol. 25, No. Special issue 8: pp. 1692-1704 [PDF, 159kB]

Book Section

Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki (2016): Logic for Gray-code Computation. In: Probst, Dieter (ed.) : Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Vol. 6. Berlin: Walter De Gruyter. pp. 69-110

This list was generated on Sat Aug 8 00:29:48 2020 CEST.