Second order permutative conversions with Prawitz's strong validity

国立国会図書館請求記号: Z78-A321
国立国会図書館書誌ID: 7757202

資料種別: 記事

著者: 龍田真

出版者: Tokyo : Research Organization of Information and Systems

出版年: 2005-11

資料形態: デジタル

掲載誌名: Progress in informatics (2) 2005.11

掲載ページ: p.41～56

すべて見る

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

CiNii Research
検索サービス
連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
この本の所蔵を確認

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 記事
タイトル: Second order permutative conversions with Prawitz's strong validity
著者・編者: 龍田真
著者標目: 龍田真
並列タイトル等: プラヴィッツのstrong validityを用いた二階置換簡約
タイトル（掲載誌）: Progress in informatics
巻号年月日等（掲載誌）: (2) 2005.11
掲載号: 2
掲載ページ: 41～56
掲載年月日（W3CDTF）: 2005-11
ISSN（掲載誌）: 1349-8614
ISSN-L（掲載誌）: 1349-8606
出版事項（掲載誌）: Tokyo : Research Organization of Information and Systems
出版地（国名コード）: JP
本文の言語コード: eng
件名標目: natural deduction
strong normalization
NDLC: ZM13
対象利用者: 一般
コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 大学共同利用機関法人
https://dl.ndl.go.jp/collections/B00042
オンライン閲覧公開範囲: インターネット公開
遠隔複写可否（NDL）: 不可
所蔵機関: 国立国会図書館
請求記号: Z78-A321
関連情報（URI）: http://dl.ndl.go.jp/info:ndljp/pid/8215152
関連情報（国立国会図書館永続的識別子）: info:ndljp/pid/8215152
http://dl.ndl.go.jp/info:ndljp/pid/8215152
連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 7757202
http://id.ndl.go.jp/bib/7757202
整理区分コード: 632