Collaborated with:K.Kikuchi I.Sasano
Talks about:transform (1) theorem (1) program (1) termin (1) system (1) rewrit (1) induct (1) applic (1) prove (1) non (1)
Person: Takahito Aoto 0001
DBLP: 0001:Takahito_Aoto
Contributed to:
2019Wrote 2 papers:
- PPDP-2019-Kikuchi0S #induction #program transformation #proving #term rewriting #theorem proving
- Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (KK, TA0, IS), p. 14.