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

von Kikuchi, Kentaro
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

Design and estimation of a quadratic term structure model with a mixture of normal distributions

von Kikuchi, Kentaro
Veröffentlicht 2012

Influence of nonuniform alternating electric field on natural convection heat transfer

von Kikuchi, Kentaro
Veröffentlicht 1976

Comparative analysis of zero coupon yield curve estimation methods using JGB price data

von Kikuchi, Kentaro
Veröffentlicht in Monetary and economic studies (2012)

Comparative analysis of zero coupon yield curve estimation methods using JGB price data

von Kikuchi, Kentaro
Veröffentlicht 2012

Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables

von Kikuchi, Kentaro
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

A Proof Method for Local Sufficient Completeness of Term Rewriting Systems

von Shiraishi, Tomoki
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)