Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔50年的逻辑。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,编号:6751-807(2019;兹bl 1427.68008) 全文: DOI程序 arXiv公司 链接
帕特里克·库索特 通过抽象解释对过渡系统的语义层次进行构造性设计。 (英语) Zbl 0996.68119号 西奥。计算。科学。 277,编号1-2,47-103(2002).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.库索特},Theor。计算。科学。277,编号1--2,47-103(2002;Zbl 0996.68119) 全文: DOI程序
M.J.A.卡斯维尔。 形式语义定义方法的等效性。 (英语) Zbl 0868.68075号 正式Asp。计算。 9,第1期,68-77(1997).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.J.A.Caswell},正式Asp。计算。9,第1号,68-77(1997年;Zbl 0868.68075) 全文: DOI程序
我·雷维茨基。;布林克,C。 将变压器作为电源操作。 (英语) Zbl 0835.68075号 正式Asp。计算。 7,第2期,169-182(1995).MSC公司:68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Rewitzky}和\textit{C.Brink},正式Asp。计算。7,第2号,169--182(1995;Zbl 0835.68075) 全文: DOI程序
沃伊,J.P。;A.斯图尔特。 将数据并行分配正确转换到阵列处理器上。 (英语) Zbl 0820.68032号 正式Asp。计算。 6,第4期,417-439(1994).MSC公司:68N20型 2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Wray}和\textit{A.Stewart},正式Asp。计算。6,第4号,417--439(1994;Zbl 0820.68032) 全文: DOI程序
R.D.坦能。 规范逻辑的语义分析。 (英语) Zbl 0699.68110号 Inf.计算。 85,No.2,135-162(1990).MSC公司:68问题55 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Tennent},信息计算。85,编号2135-162(1990年;兹bl 0699.68110) 全文: DOI程序
院长雅各布斯;大卫·格里斯 一般正确性:部分正确性和全部正确性的统一。 (英语) Zbl 0559.68021号 学报信息。 22, 67-83 (1985).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Jacobs}和\textit{D.Gries},《学报》第22期,第67-83页(1985年;Zbl 0559.68021) 全文: DOI程序
J.A.伯格斯特拉。;J.V.塔克。 基于霍尔逻辑的程序公理语义。 (英语) Zbl 0551.68016号 学报信息。 21, 293-320 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},《学报年鉴》21,293--320(1984;Zbl 0551.68016) 全文: DOI程序
J.F.特劳布。;Wasilkowski,G.W。;Woźniakowski,H。 线性问题的平均情况最优性。 (英语) Zbl 0543.68029号 西奥。计算。科学。 30, 1-25 (1984).MSC公司:65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Traub}等人,Theor。计算。科学。30、1--25(1984年;Zbl 0543.68029) 全文: DOI程序
J.A.伯格斯特拉。;Klop,J.W。 使用霍尔逻辑证明程序包含。 (英语) Zbl 0533.68011号 西奥。计算。科学。 1984年1月30日至48日.MSC公司:60年第68季度 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.W.Klop},Theor。计算。科学。30、1--48(1984年;Zbl 0533.68011) 全文: DOI程序 链接
Krzysztof R.阿普特。 霍尔逻辑十年:一项调查。二: 非决定论。 (英语) Zbl 0523.68015号 西奥。计算。科学。 28, 83-109 (1984).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},Theor(西奥)。计算。科学。28,83--109(1984年;Zbl 0523.68015) 全文: DOI程序
罗希特·帕里赫 拓扑在程序语义中的一些应用。 (英语) Zbl 0548.68011号 数学。系统。理论 16111-131(1983年).MSC公司:60年第68季度 2015年1月6日 06立方厘米 68问题65 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{R.Parikh},数学。系统。理论16,111--131(1983;Zbl 0548.68011) 全文: DOI程序
J.A.伯格斯特拉。;Tiuryn,J。;J.V.塔克。 弗洛伊德原理、正确性理论和程序等价。 (英语) Zbl 0474.68017号 西奥。计算。科学。 17, 113-149 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,Theor。计算。科学。17、113——149(1982;Zbl 0474.68017) 全文: DOI程序 链接
约翰·L·轩尼诗。;理查德·基伯茨。 实时语言的正式定义。 (英语) 兹伯利0463.68030 学报信息。 16, 309-345 (1981).MSC公司:68N25号 68问题55 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hennessy}和\textit{R.B.Kieburtz},《学报》第16期,第309--345页(1981年;Zbl 0463.68030) 全文: DOI程序
米拉·塞德尔巴姆少校。 非确定性程序的关系和谓词转换语义之间的简单关系。 (英语) Zbl 0468.68012号 信息处理。莱特。 11, 190-192 (1980).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum},Inf.过程。莱特。11、190--192(1980;Zbl 0468.68012) 全文: DOI程序
尤先科,E.L。;I.V.卡萨基纳。 证明程序正确性的当前方法。 (英语。俄文原件) Zbl 0461.68020号 控制论 16, 832-861 (1981); 译自Kibernetika 1980,第6期,37-62(1980)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Yushchenko}和\textit{I.V.Kasatkina},控制论16,832--861(1980;Zbl 0461.68020);译自Kibernetika 1980,No.6,37--62(1980) 全文: DOI程序
恩贾尔伯特,P。 演绎系统是指程序的模式。 (法语) Zbl 0441.68007号 RAIRO,Inf.Théor公司。 14, 247-278 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Enjalbert},RAIRO,Inf.Théor(信息科技)。14、247--278(1980;Zbl 0441.68007) 全文: 欧洲DML
迈克尔·菲舍尔。;理查德·雷德纳(Richard E.Ladner)。 正则程序的命题动态逻辑。 (英语) Zbl 0408.03014号 J.计算。系统。科学。 18, 194-211 (1979).MSC公司:03B45号 68问题65 68号01 03B60号 68瓦99 2005年第68季度 03天10分 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{R.E.Ladner},J.Compute。系统。科学。18、194--211(1979;Zbl 0408.03014) 全文: DOI程序
E.M.克拉克。 将不变量编程为固定点。 (英语) Zbl 0399.68022号 计算 21, 273-294 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke},《计算》21,273--294(1979;Zbl 0399.68022) 全文: DOI程序
科尔曼,D。;J.W.休斯。 Pascal程序的干净终止。 (英语) Zbl 0396.68008号 学报信息。 11, 195-210 (1979).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Coleman}和\textit{J.W.Hughes},Acta Inf.1195-210(1979年;Zbl 039.68008) 全文: DOI程序
布鲁斯·罗素 关于continuation和stack语义之间的等价性。 (英语) Zbl 0382.68009号 学报信息。 8, 113-123 (1977).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Russell},《信息学报》第8期,第113--123页(1977年;Zbl 0382.68009) 全文: DOI程序
托马斯·科瓦尔托夫斯基 副作用和一般跳跃的公理方法。 (英语) 兹伯利0325.68010 学报信息。 7, 357-360 (1977).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Kowaltowski},Acta Inf.7,357--360(1977;Zbl 0325.68010) 全文: DOI程序
苏珊·奥维基;大卫·格里斯 并行程序的公理证明技术。 (英语) Zbl 0312.68011号 学报信息。 6, 319-340 (1976).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Owicki}和\textit{D.Gries},《学报》第6期,第319--340页(1976年;Zbl 0312.68011) 全文: DOI程序