布鲁诺·库塞尔;艾琳·盖萨里安 关于某些类别的解释。 （英语） Zbl 0392.68009号 J.计算。系统。科学。 1788-113（1978年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于12文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题65 抽象数据类型；代数规范 关键词：解释的类别 软件：低成本融资 PDF格式BibTeX公司 XML格式引用 \textit｛B.Courcelle｝和\textit｛I.Guessarian｝，J.Comput。系统。科学。17、388--413（1978年；Zbl 0392.68009） 全文： 内政部 参考文献： [1] 阿什克罗夫特，E。；Manna，Z。；Pnueli，A.，一元函数模式的可判定属性，J.Assoc.Compute。机器。，20, 489-499 (1973) ·Zbl 0289.68036号 [2] 贝尔·J。；Slomson，A.，《Models and Ultraproducts》（1971年），《北伦敦：北伦敦》·Zbl 0179.31402号 [3] Berry，G。；Courcelle，B.，《稳定离散解释中的程序等价性和规范形式》，（论文集，自动化第三次学术讨论会，语言和编程。论文集，第三次自动化学术讨论会（语言和编程），爱丁堡（1976）），168-188·Zbl 0363.68036号 [4] Birkhoff，G.，《晶格理论》（1967），Amer。数学。Soc.，：美国。数学。罗德岛普罗维登斯Soc·Zbl 0126.03801号 [5] R.布尔斯托尔计算。J。12;R.布尔斯托尔计算。J。12·Zbl 0164.46202号 [6] 布尔斯塔尔，R。；Darlington，J.，《自动改进程序的系统》（《第三届国际计算机学会学报》，S.R.I.（1973）），537-542·Zbl 0395.68017号 [7] Chandra，A.，《通用程序模式》，SIAM J.Compute。，5, 402-413 (1976) ·Zbl 0382.68018号 [8] Courcelle，B.，树木的语言表现，第一部分和第二部分，Theor。计算。科学。，7, 25-55 (1978) ·Zbl 0428.68088号 [9] Courcelle，B.，关于解释类别的定义，（第四届ICALP。第四届ICALP，图尔库。第四届ICALP。第四届ICALP，图尔库，计算机科学讲义，第52卷（1977年7月），施普林格出版社：施普林格出版社，纽约/柏林）·Zbl 0355.68021号 [10] 库塞尔，B。；Nivat，M.，递归程序方案的代数语义， （与计算机科学数学基础学术讨论会的交流。与波兰扎科帕内计算机科学数学基础学术讨论会的交流。与计算机科学数学基础学术讨论会的交流。与扎科帕内计算机科学数学基础学术讨论会的交流波兰，《计算机科学讲稿》，第64卷（1978年），斯普林格·弗拉格：斯普林格尔·弗拉格纽约）·Zbl 0384.68016号 [11] 库塞尔，B。；Nivat，M.，《解释的代数族》，（第17届F.O.C.S.专题讨论会论文集，第17届FO.C.S.会议论文集，休斯顿（1976年）），（也可作为第189号拉波里亚报告获得）·Zbl 0384.68016号 [12] Guessarian，I.，程序方案的语义等价，（《第三届自动化学术讨论会论文集，语言与程序设计》，《第三次自动化学术讨论会议论文集，语言学与程序设计，爱丁堡》（1976）），189-200年·Zbl 0364.68019号 [13] Guessarian，I.，《等效Sémantiques et class d’interpretations》，博士论文，（1975年），巴黎 [14] Milner，R.，LCF模型，备忘录，斯坦福AIM-184（1973）·2018年03月64日Zbl [15] Morris，J.H.，《另一个递归归纳原理》，美国计算机学会，第14卷，第5期（1971年）·Zbl 0226.68026号 [16] Nivat，M.，《关于多元递归格式的解释》，（数学专题讨论会，第15卷（1975年），学术出版社：纽约学术出版社）·Zbl 0346.68041号 [17] Park，D.，有限性是不可言喻的，Theor。计算。科学。，3, 173-181 (1976) ·Zbl 0353.02027号 [18] Schoenfield，J.R.，《数理逻辑》（1967年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·Zbl 0155.01102号 [19] ADJ，《初始代数语义和连续代数》，J.Assoc.Compute。机器。，24, 68-95 (1977) ·Zbl 0359.68018号 [20] Markowsky，G。；Rosen，B.，链完备偏序集的基础，IBM J.Res.Dev.，20，138-147（1976）·Zbl 0329.06001 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。