让·H·盖利尔。 递归方案和广义解释（扩展抽象）。 （英语） Zbl 0409.68014号 自动机，语言与编程，第六届学术讨论会，格拉茨，1979年，勒克特。注释计算。科学。71, 256-270 (1979). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4个 +5 显示扫描页面 引用于4文件 MSC公司： 68问题65 抽象数据类型；代数规范 68问题55 计算理论中的语义学 关键词：递归方案；有理代数；定点语义 引文：Zbl 0401.00015号 PDF格式BibTeX公司 XML格式