Travelled to:1 × France
1 × Hungary
1 × Italy
1 × Japan
1 × Poland
Collaborated with:∅ T.Aoto S.Lengrand T.A.0001 I.Sasano T.Suzuki Y.Toyama
Talks about:strong (4) confluenc (2) normalis (2) calculus (2) system (2) rewrit (2) normal (2) extend (2) prove (2) proof (2)
Person: Kentaro Kikuchi
DBLP: Kikuchi:Kentaro
Contributed to:
2015
2013
20082007
2004
2019
2016Wrote 8 papers:
- RTA-2015-SuzukiKAT #confluence #orthogonal #revisited #term rewriting
- Confluence of Orthogonal Nominal Rewriting Systems Revisited (TS, KK, TA, YT), pp. 301–317.
- CSL-2013-Kikuchi #nondeterminism #normalisation #proving #λ-calculus
- Proving Strong Normalisation via Non-deterministic Translations into Klop’s Extended λ-Calculus (KK), pp. 395–414.
- FoSSaCS-2008-KikuchiL #normalisation
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (KK, SL), pp. 380–394.
- RTA-2007-Kikuchi #calculus #normalisation #proving
- Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (KK), pp. 257–272.
- FLOPS-2004-Kikuchi #calculus #normalisation #proving
- A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus (KK), pp. 244–259.
- 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.
- IJCAR-2016-AotoK #confluence
- Nominal Confluence Tool (TA, KK), pp. 173–182.