|
コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡 所属 京都産業大学 情報理工学部 情報理工学科 職種 教授 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 1994/08 |
| 形態種別 | その他 |
| 標題 | REALIZABILITY INTERPRETATION OF GENERALIZED INDUCTIVE DEFINITIONS |
| 執筆形態 | その他 |
| 掲載誌名 | THEORETICAL COMPUTER SCIENCE |
| 出版社・発行元 | ELSEVIER SCIENCE BV |
| 巻・号・頁 | 131(1),pp.121-138 |
| 著者・共著者 | S KOBAYASHI,M TATSUTA |
| 概要 | Generalized inductive definitions give a way of defining a predicate as the least solution P of the equation P<->A[P] where a predicate variable P may occur in a formula A[P] positively. This paper gives a q-realizability interpretation of generalized inductive definitions and proves the soundness of the interpretation. |
| DOI | 10.1016/0304-3975(94)90092-2 |
| ISSN | 0304-3975 |