Scholar
Oda Yukihiro
Google Scholar ID: gC8GqzsAAAAJ
Specially appointed research fellow, Tohoku University
Citations & Impact
Citations
7
H-index
1
i10-index
0
Publications
4
Co-authors
1
list available
Contact
Resume
Academic Achievements
- Publication: 'The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions', Co-authors: James Brotherston, Makoto Tatsuta, Journal: Journal of Logic and Computation, 2023
Research Experience
- Specially Appointed Research Fellow at Tohoku University
Background
- Research Interests: Logic, Math, Cyclic Proof Systems, Cut-elimination, Induction, Software Verification, etc.
Miscellany
- Email Address: yukihiro3socrates6hilbert [at] gmail.com
- ORCID: Link provided
- Twitter: Link provided
- Blog: Link provided
- Japanese Version Page: Link provided
