Institutional Repository
| Propositional dynamic logic of nonregular programs | |
| David Harel; Amir Pnueli; Jonathan Stavi | |
| 1983 | |
| Source | Journal of Computer and System Sciences
 |
| Volume | 26Issue:2Pages:222-243 |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1269 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | David Harel,Amir Pnueli,Jonathan Stavi. Propositional dynamic logic of nonregular programs[J]. Journal of Computer and System Sciences,1983,26(2):222-243. |
| APA | David Harel,Amir Pnueli,&Jonathan Stavi.(1983).Propositional dynamic logic of nonregular programs.Journal of Computer and System Sciences,26(2),222-243. |
| MLA | David Harel,et al."Propositional dynamic logic of nonregular programs".Journal of Computer and System Sciences 26.2(1983):222-243. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| bj01117264.pdf（1299KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment