Ryo Kashima
Orcid: 0000-0001-7399-3152
According to our database1,
Ryo Kashima
authored at least 16 papers
between 1994 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Math. Log. Q., 2020
2015
2014
2010
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.
Proceedings of the Advances in Modal Logic 8, 2010
2008
J. Log. Comput., 2008
2003
Log. J. IGPL, 2003
IACR Cryptol. ePrint Arch., 2003
2001
2000
1999
1997
1994