伊雷纳游击队 代数语义。 （英语） Zbl 0474.68010号 计算机科学课堂讲稿, 99. 柏林-海德堡-纽约：斯普林格-弗拉格。十一、 158 p.21.50马克；$12.70 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于44文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03C05号机组 模型理论中的方程类、泛代数 08B20号 自由代数 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68问题55 计算理论中的语义学 08C99号 其他代数类 关键词：递归程序方案；树；岩浆 PDF格式BibTeX公司 XML格式