BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kikuchi:Kentaro

Contributed to:

RTA 20152015
CSL 20132013
FoSSaCS 20082008
RTA 20072007
FLOPS 20042004
PPDP 20192019
IJCAR 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.