Yoshihiko Kakutani

From MaRDI portal
Person:491259

Available identifiers

zbMath Open kakutani.yoshihikoMaRDI QIDQ491259

List of research outcomes





PublicationDate of PublicationType
Modality via iterated enrichment2022-05-03Paper
https://portal.mardi4nfdi.de/entity/Q49577922021-09-09Paper
https://portal.mardi4nfdi.de/entity/Q49972902021-06-29Paper
Semi-automated verification of security proofs of quantum cryptographic protocols2015-08-24Paper
Classical natural deduction for S4 modal logic2012-11-16Paper
A formal approach to unconditional security proofs for quantum key distribution2011-06-17Paper
A logic for formal verification of quantum programs2010-01-14Paper
Call-by-Name and Call-by-Value in Normal Modal Logic2008-05-15Paper
https://portal.mardi4nfdi.de/entity/Q46813662005-06-23Paper
https://portal.mardi4nfdi.de/entity/Q44574572004-03-22Paper
https://portal.mardi4nfdi.de/entity/Q44118442003-07-10Paper
Axioms for recursion in call-by-value2003-05-14Paper
https://portal.mardi4nfdi.de/entity/Q27694332002-02-05Paper

Research outcomes over time

This page was built for person: Yoshihiko Kakutani

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:491259&oldid=7152828"
Powered by MediaWiki