Kenji Miyamoto
From MaRDI portal
Person:3090882
Available identifiers
zbMath Open miyamoto.kenjiMaRDI QIDQ3090882
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 | 2024-01-18 | Paper |
| Application of Constructive Analysis in Exact Real Arithmetic | 2023-08-11 | Paper |
| Logic for Gray-code computation | 2020-04-03 | Paper |
| The Epsilon Calculus with Equality and Herbrand Complexity | 2019-04-25 | Paper |
| Program extraction in exact real arithmetic | 2016-07-27 | Paper |
| Program extraction from nested definitions | 2013-08-07 | Paper |
| Minlog -- a tool for program extraction supporting algebras and coalgebras | 2011-09-02 | Paper |
Research outcomes over time
This page was built for person: Kenji Miyamoto