コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 英語
発行・発表の年月 1989
形態種別 その他
標題 CONSISTENCY OF BEESON FORMAL SYSTEM RPS AND SOME RELATED RESULTS
執筆形態 その他
掲載誌名 LECTURE NOTES IN MATHEMATICS
出版社・発行元 SPRINGER
巻・号・頁 1388,pp.120-140
著者・共著者 S KOBAYASHI
ISSN 0075-8434