Equational reasoning about programs with general recursion and call-by-value semantics

表紙は所蔵館によって異なることがあります

インターネットで読む

すぐに読む

国立国会図書館デジタルコレクション

デジタルデータあり

公開元のウェブサイトで確認する

DOI[10.2201/NiiPi.2013.10.3]のデータに遷移します

Equational reasoning about programs with general recursion and call-by-value semantics

国立国会図書館永続的識別子: info:ndljp/pid/10365934

資料種別: 記事

著者: Garrin Kimmellほか

出版者: 国立情報学研究所

出版年: 2013-03

資料形態: デジタル

掲載誌名: Progress in informatics (10)

掲載ページ: -

すべて見る

書誌情報

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

デジタル

資料種別: 記事
タイトル: Equational reasoning about programs with general recursion and call-by-value semantics
著者・編者: Garrin Kimmell
Aaron Stump
Harley D. Eades
出版事項: 日本 : 国立情報学研究所
出版年月日等: 2013-03
出版年（W3CDTF）: 2013-03
並列タイトル等: 一般再帰および値呼び意味論を用いたプログラムに関する等式推論
タイトル（掲載誌）: Progress in informatics
巻号年月日等（掲載誌）: (10)
掲載巻: (10)
ISSN（掲載誌）: 1349-8606
ISSN-L（掲載誌）: 1349-8606
本文の言語コード: eng
DOI: 10.2201/NiiPi.2013.10.3
https://doi.org/10.2201/NiiPi.2013.10.3
国立国会図書館永続的識別子: info:ndljp/pid/10365934
https://dl.ndl.go.jp/pid/10365934
コレクション（共通）: 障害者向け資料
コレクション（障害者向け資料：レベル1）: テキストデータ
コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人
https://dl.ndl.go.jp/collections/B00033
収集根拠: インターネット資料収集保存事業（WARP）
受理日（W3CDTF）: 2017-06-14T13:44:24+09:00
保存日（W3CDTF）: 2014-03-16
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: インターネット公開
遠隔複写可否（NDL）: 不可
掲載誌（URI）: https://warp.da.ndl.go.jp/info:ndljp/pid/8435723/www.nii.ac.jp/pi/html/n10_mar2013_toc.html
掲載誌（国立国会図書館永続的識別子）: info:ndljp/pid/10365931
https://dl.ndl.go.jp/pid/10365931
連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp