Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

著者: Hirose Ken Takahashi Makoto
出版者: 京都大学数理解析研究所
雑誌: 数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日: vol.516, pp.111-122, 1984-03

2013-05-04 19:02:26
1 + 0 Twitter

http://hdl.handle.net/2433/98385

言及状況

Twitter (1 users, 1 posts, 0 favorites)

収集済み URL リスト

http://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/98385 (1)