医学硕士Arbib。；马内斯，E.G。 部分加幺半群、图增长和递归调用的代数语义。 （英语） Zbl 0414.68055号 图文法及其在计算机科学和生物学中的应用，Bad Honnef国际研讨会，1978年，Lect。注释计算。科学。73, 127-138 (1979). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于1审查引用于7文件 MSC公司： 68问题55 计算理论中的语义学 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：程序语义；过程调用；图建模；程序执行；图推导序列 引文：Zbl 0398.00019号 PDF格式BibTeX公司 XML格式