dblp.uni-trier.dewww.uni-trier.de

Kentaro Kikuchi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EEKentaro Kikuchi, Stéphane Lengrand: Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. FoSSaCS 2008: 380-394
11EEKentaro Kikuchi: Call-by-name reduction and cut-elimination in classical logic. Ann. Pure Appl. Logic 153(1-3): 38-65 (2008)
2007
10EEKentaro Kikuchi: Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. CiE 2007: 398-407
9EEKentaro Kikuchi: Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi. RTA 2007: 257-272
8EERyo Ishigaki, Kentaro Kikuchi: Tree-Sequent Methods for Subintuitionistic Predicate Logics. TABLEAUX 2007: 149-164
7EERyo Ishigaki, Kentaro Kikuchi: A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. Logic Journal of the IGPL 15(2): 149-164 (2007)
2006
6EEKentaro Kikuchi: On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus. LPAR 2006: 120-134
2004
5EEKentaro Kikuchi: A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. FLOPS 2004: 244-259
2003
4 Kentaro Kikuchi, Katsumi Sasaki: A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information 12(2): 213-225 (2003)
2002
3EEKentaro Kikuchi: Dual-Context Sequent Calculus and Strict Implication. Math. Log. Q. 48(1): 87-92 (2002)
2001
2 Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi: Sequent Calculi for Visser's Propositional Logics. Notre Dame Journal of Formal Logic 42(1): 1-22 (2001)
2000
1EEKoichi Konishi, Kentaro Kikuchi, Hideki Kawai, Kunihiko Kojima, Ken'ichi Ohmachi, Susumu Akamine, Toshikazu Fukushima: Chained Declustering using Multiple Conventional Filesystems. CLUSTER 2000: 381-382

Coauthor Index

1Susumu Akamine [1]
2Toshikazu Fukushima [1]
3Ryo Ishigaki [7] [8]
4Katsumasa Ishii [2]
5Ryo Kashima [2]
6Hideki Kawai [1]
7Kunihiko Kojima [1]
8Koichi Konishi [1]
9Stéphane Lengrand [12]
10Ken'ichi Ohmachi [1]
11Katsumi Sasaki [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)