文献
J-GLOBAL ID：201902211688715555   整理番号：19S1255712

Compositional Z: Confluence Proofs for Permutative Conversion

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (2件)：
Nakazawa, Koji

Nakazawa, Koji について

(Graduate School of Information Science, Nagoya University)

Graduate School of Information Science, Nagoya University について

, 
Fujita, Ken-etsu

Fujita, Ken-etsu について

(Graduate School of Science and Technology, Gunma University)

Graduate School of Science and Technology, Gunma University について


資料名：
Studia Logica

Studia Logica について


巻： 104  号： 6  ページ： 1205-1224  発行年： 2016年 
JST資料番号： SCOPUS  ISSN： 0039-3215 
発行国： オランダ (NLD)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM