Streaming String Transducerの合成の形式的証明 | T2R2 東京科学大学リサーチリポジトリ

論文・著書情報

タイトル

和文:	Streaming String Transducerの合成の形式的証明
英文:

著者

和文:	赤間仁志, 南出靖彦.
英文:	Hitoshi Akama, Yasuhiko Minamide.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2018年3月

出版者

和文:
英文:

会議名称

和文:	第20回プログラミングおよびプログラミング言語ワークショップ
英文:

開催地

和文:
英文:

©2007 Institute of Science Tokyo All rights reserved.