ダウンロード数: 112

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0458-25.pdf376.52 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorHIROKAWA, SACHIOen
dc.contributor.alternative広川, 佐千男ja
dc.contributor.transcriptionヒロカワ, サチオja
dc.date.accessioned2010-03-05T08:12:41Z-
dc.date.available2010-03-05T08:12:41Z-
dc.date.issued1982-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/103068-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleOne-Step Recurrent Term in $\lambda$-Calculus (形式言語理論とオートマトン理論)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume458-
dc.identifier.spage231-
dc.identifier.epage236-
dc.textversionpublisher-
dc.sortkey25-
dc.addressDepartment of Information Science, Faculty of Engineering, Shizuoka Universityen
dc.address.alternative静岡大学工学部ja
dcterms.accessRightsopen access-
出現コレクション:0458 形式言語理論とオートマトン理論

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。