学術雑誌論文 Compositional Z: Confluence Proofs for Permutative Conversion

Fujita, Ken-etsu  ,  Nakazawa, Koji

104 ( 6 )  , pp.1205 - 1224 , 2016-12 , Springer
ISSN:0039-3215
本文を読む

http://ir.nul.nagoya-u.ac.jp/jspui/bitstream/2237/25573/1/main.pdf

このアイテムのアクセス数:  回

その他の情報