カワノ トモアキ   Kawano Tomoaki
  河野 友亮
   所属   神奈川大学  情報学部 計算機科学科
   職種   助教
言語種別 英語
発行・発表の年月 2018/07
形態種別 学術雑誌
査読 査読あり
標題 Advanced Kripke Frame for Quantum Logic
執筆形態 単著
掲載誌名 WoLLIC 2018. Lecture Notes in Computer Science.
掲載区分国外
出版社・発行元 Springer
巻・号・頁 pp.237-249