Ryo Kashima
Orcid: 0000-0001-7399-3152
According to our database1,
Ryo Kashima
authored at least 17 papers
between 1994 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
1
1
1
1
2
3
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
CoRR, January, 2025
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