|
|||||
|
|
| 第2届Domain理论国际学术研讨会(ISDT2001)征文通知 | |
| 作者姓名： | 2001年Domain理论国际学术研讨会筹备组 |
| 作者单位： | 四川大学数学学院 |
| 摘 要： | 第 2届 Domain理论国际学术研讨会 (ISDT 2 0 0 1- International Symposium on Domain Theory 2 0 0 1)将于2 0 0 1年 10月 2 2— 2 6日在四川大学 (成都 )召开。会议将就以下方面进行学术交流 : Topological and logical aspects of domain Categories of domains and powerdomains Partial orders and metric spaces Applications in databases,mathematics,and AI Types,process algebra and concurrency Non- classical and partial logics Programming language logics邀请包括以下著名学者在内的专家… |
| 本文献已被 CNKI 等数据库收录！ | |