紀要論文 Infinite games recognized by 2-stack visibly pushdown automata (Proof Theory, Computation Theory and Related Topics)

李, 文娟  ,  沖坂, 祥平  ,  田中, 一之

1950pp.121 - 137 , 2015-06 , 京都大学数理解析研究所
ISSN:1880-2818
NII書誌ID(NCID):AN00061013
本文を読む

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/223931/1/1950-11.pdf

このアイテムのアクセス数:  回

その他の情報