WEKO3
アイテム
a review of Lambek’s syntactic calculus and noncommutative variants of linear logic: laws and proof-nets by Abrusci, V. Michele; Casadio, Claudia
http://hdl.handle.net/2241/0002005938
http://hdl.handle.net/2241/0002005938fbbee7b5-3dae-40ef-92d2-88549b6ba05d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
07440902.pdf
|
|
| Item type | Article(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-12-26 | |||||||||||
| タイトル | ||||||||||||
| タイトル | a review of Lambek’s syntactic calculus and noncommutative variants of linear logic: laws and proof-nets by Abrusci, V. Michele; Casadio, Claudia | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | article | |||||||||||
| アクセス権 | ||||||||||||
| アクセス権 | open access | |||||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||
| 著者 |
西村, 泰一
× 西村, 泰一
WEKO
123
|
|||||||||||
| 書誌情報 |
en : Zentralblatt MATH 発行日 2022 |
|||||||||||
| 権利 | ||||||||||||
| 言語 | en | |||||||||||
| 権利情報 | © 2022 FIZ Karlsruhe GmbH | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | FIZ Karlsruhe, the European Mathematical Society and the Heidelberg Academy of Sciences and Humanities | |||||||||||
| 言語 | en | |||||||||||
| 関連情報 | ||||||||||||
| 識別子タイプ | URI | |||||||||||
| 関連識別子 | https://zbmath.org/07440902 | |||||||||||
| 言語 | en | |||||||||||
| 関連名称 | Zbl 07440902 | |||||||||||
