修正AC単調意味論経路順序によるAC停止性
Bibliographic Information
- Title
- 修正AC単調意味論経路順序によるAC停止性
- Author
- 落合 秀幸
Journal
-
- 信学技報 COPMP2004-76
-
信学技報 COPMP2004-76 23-32, 2005
信学技報 COPMP2004-76 23-32, 2005