Kentaro Kikuchi

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 12

Top Topics

Theorem Proving

Top Venues

Sci. Comput. Program.

Publications

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