|
|||||
|
|
Combining Soft Linear Logic and Spatio-temporal Operators |
|
| Authors: | Kamide Norihiro |
| Affiliation: | Department of Philosophy, Keio University, Japan. E-mail: kamide{at}mtc.biglobe.ne.jp |
| Abstract: | |
| Keywords: | Soft linear logic spatio-temporal operators Petri net resource-sensitive reasoning |
| 本文献已被 Oxford 等数据库收录！ | |