Search results for: Naohiko Hoshino
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 404-469
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics > 320-334
Electronic Notes in Theoretical Computer Science > 2012 > 286 > Complete > 213-227