Login / Signup
Tadayuki Yoshida
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Automated Deduction
Theorem Proving
Modal Logic
Term Rewriting
Top Venues
KEOD
</>
Publications
</>
Tadayuki Yoshida
,
Ekawit Nantajeewarawat
,
Masaharu Munetomo
,
Kiyoshi Akama
Inventing ET Rules to Improve an MI Solver on KR-logic.
KEOD
(2019)
Tadayuki Yoshida
,
Ekawit Nantajeewarawat
,
Masaharu Munetomo
,
Kiyoshi Akama
Logical Approach to Theorem Proving with Term Rewriting on KR-logic.
KEOD
(2019)