Kenji Miyamoto
From MaRDI portal
Person:3090882
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Program extraction | 2024-09-09 | Paper |
| Herbrand complexity and the epsilon calculus with equality Archive for Mathematical Logic | 2024-01-18 | Paper |
| Application of Constructive Analysis in Exact Real Arithmetic Handbook of Constructive Mathematics | 2023-08-11 | Paper |
| Logic for Gray-code computation Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
| The Epsilon Calculus with Equality and Herbrand Complexity | 2019-04-25 | Paper |
| Program extraction in exact real arithmetic Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| Program extraction from nested definitions Interactive Theorem Proving | 2013-08-07 | Paper |
| Minlog -- a tool for program extraction supporting algebras and coalgebras Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Research outcomes over time
This page was built for person: Kenji Miyamoto
