Kentaro Kikuchi A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. [Citation Graph (0, 0)][DBLP] FLOPS, 2004, pp:244-259 [Conf]

Kentaro Kikuchi On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:120-134 [Conf]

Ryo Ishigaki, Kentaro Kikuchi A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2007, v:15, n:2, pp:149-164 [Journal]

Chained Declustering using Multiple Conventional Filesystems. [Citation Graph (, )][DBLP]

Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. [Citation Graph (, )][DBLP]

Call-by-name reduction and cut-elimination in classical logic. [Citation Graph (, )][DBLP]

Search in 0.022secs, Finished in 0.024secs

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP