Art
J-GLOBAL ID：201902211688715555   Reference number：19S1255712

Compositional Z: Confluence Proofs for Permutative Conversion

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (2)：
Nakazawa, Koji

About Nakazawa, Koji

(Graduate School of Information Science, Nagoya University)

About Graduate School of Information Science, Nagoya University

, 
Fujita, Ken-etsu

About Fujita, Ken-etsu

(Graduate School of Science and Technology, Gunma University)

About Graduate School of Science and Technology, Gunma University


Material：
Studia Logica

About Studia Logica


Volume： 104  Issue： 6  Page： 1205-1224  Publication year： 2016 
JST Material Number： SCOPUS  ISSN： 0039-3215 
Country of issue： Netherlands (NLD)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM