湯山 孝雄
ユヤマ タカオ (Takao Yuyama)
更新日: 04/21
論文
4
表示件数
-
Lecture Notes in Computer Science 15050 167-183 2024年9月18日 査読有り
-
28th International Conference on Implementation and Application of Automata, CIAA 2024, Lecture Notes in Computer Science 15015 347-362 2024年9月3日 査読有り筆頭著者責任著者
-
Developments in Language Theory, DLT 2023, Lecture Notes in Computer Science 13911 246-257 2023年5月19日 査読有り
-
Notre Dame Journal of Formal Logic 61(4) 591-600 2020年11月1日 査読有り