Proof Nets and Boolean Circuits
書誌事項
- タイトル
- Proof Nets and Boolean Circuits
- 著者
- K.Terui
収録刊行物
-
- Proceedings of LICS 2004 19
-
Proceedings of LICS 2004 19 182-191, 2004
- Tweet
詳細情報
-
- CRID
- 1010282256866329220
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN