泰瑟·图利;叶欣 自我修改代码的可达性分析。 (英语) Zbl 07729637号 发现的国际期刊。计算。科学。 34,第5期,507-536(2023).MSC公司:68季度xx 68倍 68牛顿 PDF格式BibTeX公司 XML格式引用 \textit{T.Touili}和\textit{X.Ye},国际期刊发现。计算。科学。34,编号5,507--536(2023;Zbl 07729637) 全文: 内政部 arXiv公司
达尼埃拉·贝拉迪;法希玛·谢赫;朱塞佩·德·贾科莫;法比奥·帕特里齐 通过模拟实现自动服务组合。 (英语) Zbl 1155.68014号 发现的国际期刊。计算。科学。 19,第2期,429-451(2008).MSC公司:68M10个 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Berardi}等人,《国际法学杂志》发现。计算。科学。19,第2号,429--451(2008;Zbl 1155.68014) 全文: 内政部
法鲁兹卡马雷丁;弗朗索瓦·莫宁 递归函数自动终止方法的扩展。 (英语) Zbl 1066.68118号 发现的国际期刊。计算。科学。 13,第3期,361-386(2002).MSC公司:68吨15 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.卡马雷丁}和\textit{F.Monin},国际期刊发现。计算。科学。13,第3号,361--386(2002;Zbl 1066.68118) 全文: 内政部
彼得·博罗万斯克;克洛德·基什内尔;赫莱内·基什内尔;克里斯托夫·林盖森 用\(\mathsf{ELAN}\)中的策略重写:一种函数语义。 (英语) Zbl 1319.68125号 发现的国际期刊。计算。科学。 12,第1号,69-95(2001).MSC公司:第68季度第42季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Borovanskí}等人,国际期刊发现。计算。科学。12,第1号,69--95(2001;Zbl 1319.68125) 全文: 内政部