π計算に対する時間拡張と代数的意味論
-
- 結縁 祥治
- 名古屋大学
書誌事項
- タイトル
- π計算に対する時間拡張と代数的意味論
- 著者
- 桑原寛明, 結縁祥治, 阿草清滋
- 公開日
- 2004
- 資源種別
- journal article
収録刊行物
-
- ソフトウェア工学の基礎ワークショップFOSE2004 XII
-
ソフトウェア工学の基礎ワークショップFOSE2004 XII 97-108, 2004
