Kentaro Kikuchi

28 papers A 1B 5C 8Misc 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
Characterizations of Partial Well-Behaved Lenses.
PEPM
Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi
2022 C conf
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting.
ICTAC
Kentaro Kikuchi
2021 C conf
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems.
ICTAC
Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto
2021 J jnl
Money flow network among firms' accounts in a regional bank of Japan.
EPJ Data Sci.
Yoshi Fujiwara, Hiroyasu Inoue, Takayuki Yamaguchi, Hideaki Aoyama, Takuma Tanaka, Kentaro Kikuchi
2021 — conf
Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems.
FSTTCS
Kentaro Kikuchi, Takahito Aoto
2020 C conf
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables.
LOPSTR
Kentaro Kikuchi, Takahito Aoto
2020 J jnl
Polymorphic computation systems: Theory and practice of confluence with call-by-value.
Sci. Comput. Program.
Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi
2019 C conf
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.
PPDP
Kentaro Kikuchi, Takahito Aoto, Isao Sasano
2017 — conf
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.
FroCoS
Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
2016 — conf
Critical Pair Analysis in Nominal Rewriting.
SCSS
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
2016 A conf
Nominal Confluence Tool.
IJCAR
Takahito Aoto, Kentaro Kikuchi
2015 — conf
Confluence of Orthogonal Nominal Rewriting Systems Revisited.
RTA
Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
2015 C conf
Correctness of Context-Moving Transformations for Term Rewriting Systems.
LOPSTR
Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
2014 B conf
A Translation of Intersection and Union Types for the λμ-Calculus.
APLAS
Kentaro Kikuchi, Takafumi Sakurai
2014 — conf
Uniform Proofs of Normalisation and Approximation for Intersection Types.
ITRS
Kentaro Kikuchi
2013 B conf
Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.
CSL
Kentaro Kikuchi
2008 J jnl
Call-by-name reduction and cut-elimination in classical logic.
Ann. Pure Appl. Log.
Kentaro Kikuchi
2008 B conf
Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.
FoSSaCS
Kentaro Kikuchi, Stéphane Lengrand
2007 J jnl
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.
Log. J. IGPL
Ryo Ishigaki, Kentaro Kikuchi
2007 C conf
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.
CiE
Kentaro Kikuchi
2007 — conf
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.
RTA
Kentaro Kikuchi
2007 B conf
Tree-Sequent Methods for Subintuitionistic Predicate Logics.
TABLEAUX
Ryo Ishigaki, Kentaro Kikuchi
2006 B conf
On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.
LPAR
Kentaro Kikuchi
2004 Misc conf
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.
FLOPS
Kentaro Kikuchi
2003 J jnl
A Cut-Free Gentzen Formulation of Basic Propositional Calculus.
J. Log. Lang. Inf.
Kentaro Kikuchi, Katsumi Sasaki
2002 J jnl
Dual-Context Sequent Calculus and Strict Implication.
Math. Log. Q.
Kentaro Kikuchi
2001 J jnl
Sequent Calculi for Visser's Propositional Logics.
Notre Dame J. Formal Log.
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
2000 C conf
Chained Declustering using Multiple Conventional Filesystems.
CLUSTER
Koichi Konishi, Kentaro Kikuchi, Hideki Kawai, Kunihiko Kojima, Ken'ichi Ohmachi, Susumu Akamine, Toshikazu Fukushima