MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Kentaro Kikuchi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A direct proof of strong normalization for an extended Herbelin’s calculus
by Kentaro Kikuchi — 2004 — Proc. of the 7th Int. Symp. on Functional and Logic Programming (FLOPS’04), volume 2998 of LNCS
…A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus Kentaro Kikuchi…
Cited by 2 (0 self) – Add To MetaCart

Confluence of cut-elimination procedures for the intuitionistic sequent calculus
by Kentaro Kikuchi — 2007 — Proc. of the 3rd Conf. on Computability in Europe (CiE’07), volume 4497 of LNCS
…Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus Kentaro Kikuchi…
Cited by 1 (1 self) – Add To MetaCart

On a local-step cut-elimination procedure for the intuitionistic sequent calculus
by Kentaro Kikuchi — 2006 — Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR’06), volume 4246 of LNCS
…On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus Kentaro Kikuchi…
Cited by 1 (1 self) – Add To MetaCart

Strong Normalisation of Cut-Elimination that Simulates β-Reduction
by Long Version, Kentaro Kikuchi, Stéphane Lengr
…Strong Normalisation of Cut-Elimination that Simulates β-Reduction Long version Kentaro Kikuchi 1…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB