Institutional Repository
| Recursion in logics of programs | |
| David Harel | |
| 1979 | |
| Conference Name | Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages |
| Conference Date | 1979 |
| Conference Place | San Antonio, Texas |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Language | 中文 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1224 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | David Harel. Recursion in logics of programs[C],1979. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 117263.pdf（1069KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment