Kentaro Kikuchi

Available identifiers

zbMath Open kikuchi.kentaroMaRDI QIDQ1409299

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kentaro Kikuchi