Algebraic Specification Method of Programming Languages(Software Science and Engineering)
スポンサーリンク
概要
著者
-
Sakabe Toshiki
Department Of Electrical Engineering Faculty Of Engineering Nagoya University
-
Kita Hidehiko
Department Of Electrical Engineering Faculty Of Engineering Nagoya University
-
Inagaki Yasuyoshi
Department Of Electrical Engineering Faculty Of Engineering Nagoya University
関連論文
- An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
- Algebraic Specification Method of Programming Languages(Software Science and Engineering)