Kentaro Kikuchi

Available identifiers

zbMath Open kikuchi.kentaroMaRDI QIDQ1409299

List of research outcomes

Publication	Date of Publication	Type
Age-dependent robust strategic asset allocation with inflation-deflation hedging demand	2024-12-27	Paper
A term structure interest rate model with the Brownian bridge lower bound	2024-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q6187069	2024-02-05	Paper
Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting	2023-07-28	Paper
Semi-analytical solution for consumption and investment problem under quadratic security market model with inflation risk	2022-07-15	Paper
A proof method for local sufficient completeness of term rewriting systems	2022-03-31	Paper
Confluence and commutation for nominal rewriting systems with atom-variables	2022-03-23	Paper
Parallel closure theorem for left-linear nominal rewriting systems	2018-01-04	Paper
Confluence of orthogonal nominal rewriting systems revisited	2017-07-12	Paper
Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.	2017-02-02	Paper
Nominal Confluence Tool	2016-09-05	Paper
A Translation of Intersection and Union Types for the λμ-Calculus	2016-02-26	Paper
Correctness of Context-Moving Transformations for Term Rewriting Systems	2016-02-05	Paper
On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus	2008-05-27	Paper
Call-by-name reduction and cut-elimination in classical logic	2008-04-24	Paper
Strong Normalisation of Cut-Elimination That Simulates β-Reduction	2008-04-11	Paper
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic	2008-01-14	Paper
Tree-Sequent Methods for Subintuitionistic Predicate Logics	2008-01-04	Paper
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi	2008-01-02	Paper
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus	2007-11-13	Paper
Functional and Logic Programming	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4438126	2003-12-09	Paper
Sequent calculi for Visser's propositional logics	2003-10-13	Paper
A cut-free Gentzen formulation of basic propositional calculus	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q2776812	2002-07-22	Paper

Research outcomes over time

This page was built for person: Kentaro Kikuchi