Kenji Miyamoto
Identifiers
- name variant Kenji Miyamoto 0.50 · backfill
Papers (1)
- The Epsilon Calculus with Equality and Herbrand Complexity math.LO · 2019 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Georg Moser 1 shared papers