Login / Signup
Shinnosuke Mizutani
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Rewrite Rules
Sequent Calculi
Abductive Reasoning
Classical First Order Logic
Top Venues
WPTE@FSCD
</>
Publications
</>
Shinnosuke Mizutani
,
Naoki Nishida
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction.
WPTE@FSCD
(2017)