Universal Algebra for Computer Scientists, Wolfgang Wechler, Springer-Verlag, 1992

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1994-01-17

著者

• 坂井 公

  筑波大学電子・情報工学系

関連論文

• プログラム生成システム PAPYRUS
• Metis-AS における代数的仕様の検証手続き
• 等式論理の帰納的定理を証明する手続き
• Universal Algebra for Computer Scientists, Wolfgang Wechler, Springer-Verlag, 1992

スポンサーリンク