Second order permutative conversions with Prawitz's strong validity

Persistent ID (NDL): info:ndljp/pid/8215152

Material type: 記事

Author: Makoto Tatsuta

Publisher: National Institute of Informatics

Publication date: 2005-11

Material Format: Digital

Journal name: Progress in informatics (2)

Publication Page: -

View Details

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 記事
Title: Second order permutative conversions with Prawitz's strong validity
Author/Editor: Makoto Tatsuta
Publication, Distribution, etc.: 日本 : National Institute of Informatics
Publication Date: 2005-11
Publication Date (W3CDTF): 2005-11
Alternative Title: プラヴィッツのstrong validityを用いた二階置換簡約
Periodical title: Progress in informatics
No. or year of volume/issue: (2)
Volume: (2)
ISSN (Periodical Title): 1349-8606
ISSN-L (Periodical Title): 1349-8606
Text Language Code: eng
Persistent ID (NDL): info:ndljp/pid/8215152
https://dl.ndl.go.jp/pid/8215152
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 大学共同利用機関法人
https://dl.ndl.go.jp/collections/B00042
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2013-05-31T03:07:59+09:00
Date Captured (W3CDTF): 2008-07-15
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/261926/www.nii.ac.jp/pi/html/n2_nov2005_toc.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/8215148
https://dl.ndl.go.jp/pid/8215148
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp

See Less