( en | de | ru )

 

Disambiguation of "Kikuchi, Kentaro"

Author of the publication

copydeleteadd this publication to your clipboard
Correctness of Context-Moving Transformations for Term Rewriting Systems.

, , , and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 331-345. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kentaro Harada

Kentaro Kusumi

Tomoo Kikuchi

Kentaro Azuma

Kentaro Zens

 

Other publications of authors with the same name

Critical Pair Analysis in Nominal Rewriting., , , and . SCSS, volume 39 of EPiC Series in Computing, page 156-168. EasyChair, (2016)Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems., and . FSTTCS, volume 213 of LIPIcs, page 49:1-49:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems., , and . FroCoS, volume 10483 of Lecture Notes in Computer Science, page 115-131. Springer, (2017)Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.. CiE, volume 4497 of Lecture Notes in Computer Science, page 398-407. Springer, (2007)Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation., , and . PPDP, page 13:1-13:14. ACM, (2019)Strong Normalisation of Cut-Elimination That Simulates beta-Reduction., and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 380-394. Springer, (2008)A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.. FLOPS, volume 2998 of Lecture Notes in Computer Science, page 244-259. Springer, (2004)Correctness of Context-Moving Transformations for Term Rewriting Systems., , , and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 331-345. Springer, (2015)Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.. RTA, volume 4533 of Lecture Notes in Computer Science, page 257-272. Springer, (2007)On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.. LPAR, volume 4246 of Lecture Notes in Computer Science, page 120-134. Springer, (2006)