×
德克·帕丁森;卢茨·施罗德

程序等价是共创的。 （英语） Zbl 1401.68084号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。337-346 (2016).

引用于2文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
03B70号 计算机科学中的逻辑
03C05号机组 模型理论中的方程类、泛代数
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

计算模型;代数理论;共模型;无充分根据的证明;程序等效性

软件：

骑自行车的人
PDF格式BibTeX公司 XML格式引用
\textit{D.Pattinson}和\textit{L.Schröder}，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。337--346（2016；Zbl 1401.68084）
全文： DOI程序