Kentaro Kikuchi

According to our database, Kentaro Kikuchi authored at least 27 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting.

Kentaro Kikuchi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Money flow network among firms' accounts in a regional bank of Japan.

Yoshi Fujiwara, Hiroyasu Inoue, Takayuki Yamaguchi, Hideaki Aoyama, Takuma Tanaka, Kentaro Kikuchi

EPJ Data Sci., 2021

A Proof Method for Local Sufficient Completeness of Term Rewriting Systems.

Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems.

Kentaro Kikuchi, Takahito Aoto

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2020

Polymorphic computation systems: Theory and practice of confluence with call-by-value.

Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi

Sci. Comput. Program., 2020

Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables.

Kentaro Kikuchi, Takahito Aoto

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.

Kentaro Kikuchi, Takahito Aoto, Isao Sasano

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.

Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Critical Pair Analysis in Nominal Rewriting.

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Nominal Confluence Tool.

Takahito Aoto, Kentaro Kikuchi

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Confluence of Orthogonal Nominal Rewriting Systems Revisited.

Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Correctness of Context-Moving Transformations for Term Rewriting Systems.

Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Uniform Proofs of Normalisation and Approximation for Intersection Types.

Kentaro Kikuchi

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

A Translation of Intersection and Union Types for the λμ-Calculus.

Kentaro Kikuchi, Takafumi Sakurai

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.

Kentaro Kikuchi

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2008

Call-by-name reduction and cut-elimination in classical logic.

Kentaro Kikuchi

Ann. Pure Appl. Log., 2008

Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.

Kentaro Kikuchi, Stéphane Lengrand

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.

Ryo Ishigaki, Kentaro Kikuchi

Log. J. IGPL, 2007

Tree-Sequent Methods for Subintuitionistic Predicate Logics.

Ryo Ishigaki, Kentaro Kikuchi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.

Kentaro Kikuchi

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.

Kentaro Kikuchi

Proceedings of the Computation and Logic in the Real World, 2007

2006

On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.

Kentaro Kikuchi

Proceedings of the Logic for Programming, 2006

2004

A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.

Kentaro Kikuchi

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

A Cut-Free Gentzen Formulation of Basic Propositional Calculus.

Kentaro Kikuchi, Katsumi Sasaki

J. Log. Lang. Inf., 2003

2002

Dual-Context Sequent Calculus and Strict Implication.

Kentaro Kikuchi

Math. Log. Q., 2002

2001

Sequent Calculi for Visser's Propositional Logics.

Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi

Notre Dame J. Formal Log., 2001

2000

Chained Declustering using Multiple Conventional Filesystems.

Koichi Konishi, Kentaro Kikuchi, Hideki Kawai, Kunihiko Kojima, Ken'ichi Ohmachi, Susumu Akamine, Toshikazu Fukushima

Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000