- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
π計算に対する時間拡張と代数的意味論
-
- YUEN Syouji
- Nagoya University, Graduate School of Information Science, Associate Professor
Bibliographic Information
- Title
- π計算に対する時間拡張と代数的意味論
- Author
- 桑原寛明, 結縁祥治, 阿草清滋
- Published
- 2004
- Resource Type
- journal article
Journal
-
- ソフトウェア工学の基礎ワークショップFOSE2004 XII
-
ソフトウェア工学の基礎ワークショップFOSE2004 XII 97-108, 2004
- Tweet
Details 詳細情報について
-
- CRID
- 1010000781878285953
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
