Yoshihiko Kakutani

Available identifiers

zbMath Open kakutani.yoshihikoMaRDI QIDQ491259

List of research outcomes

Publication	Date of Publication	Type
Modality via iterated enrichment	2022-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4957792	2021-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4997290	2021-06-29	Paper
Semi-automated verification of security proofs of quantum cryptographic protocols	2015-08-24	Paper
Classical natural deduction for S4 modal logic	2012-11-16	Paper
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution	2011-06-17	Paper
A Logic for Formal Verification of Quantum Programs	2010-01-14	Paper
Call-by-Name and Call-by-Value in Normal Modal Logic	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4681366	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4457457	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4411844	2003-07-10	Paper
Axioms for recursion in call-by-value	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2769433	2002-02-05	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: Yoshihiko Kakutani