Sign in
Daichi Hayashi
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Linear Time Temporal Logic
Proof Theoretic
Wide Class
Top Venues
VRST
Stud Logica
</>
Publications
</>
Kazuya Iida
,
Yuma Ina
,
Daichi Hayashi
,
Yohei Yanase
,
Keita Watanabe
Open Video Game Library: Developing a Video Game Database for Use in Research and Experimentation.
VRST
(2023)
Daichi Hayashi
On Cut-Elimination Arguments for Axiomatic Theories of Truth.
Stud Logica
110 (3) (2022)