|
Publication List - Yasuhiko Minamide 2023 (6 / 29 entries)
Journal Paper
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL,
14th Conference on Interactive Theorem Proving(ITP2023),
July 2023.
Official location
-
Takayuki Miyazaki,
Yasuhiko Minamide.
Derivatives of Context-Free Grammars with Lookahead,
Journal of Information Processing,
Vol. 31,
July 2023.
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Program logic for higher-order probabilistic programs in Isabelle/HOL,
Science of Computer Programming,
Vol. 230,
June 2023.
-
Masaki Kamano,
Taiga Fukuda,
Yasuhiko Minamide.
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,
コンピュータソフトウェア,
40,
1,
Feb. 2023.
Domestic Conference (Reviewed)
Domestic Conference (Not reviewed / Unknown)
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|