Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 (英语) Zbl 07713583号 ACM事务处理。计算。日志。 24,第3号,第22号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},ACM Trans。计算。日志。24,第3号,第22号论文,28页(2023;Zbl 07713583) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 有理数的部分算术数据类型及其等式规范。 (英语) Zbl 07576527号 J.日志。代数。方法计划。 128,文章ID 100797,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Log。代数。方法计划。128,文章ID 100797,16 p.(2022;Zbl 07576527) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬丹。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321--344(2021;Zbl 1519.68156) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有策略交错的进程代数。 (英语) Zbl 1427.68181号 理论计算。系统。 63,第3期,488-505(2019). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。63,第3号,488--505(2019年;Zbl 1427.68181) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于单程指令序列的表达性。 (英语) Zbl 1278.68032号 理论计算。系统。 50,编号2131-328(2012).MSC公司:2007年7月68日 2005年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。50,编号21313-328(2012年;兹bl 1278.68032) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 关于向后跳转对指令序列表达的贡献。 (英语) 兹比尔1279.68182 理论计算。系统。 50,第4期,706-720(2012).MSC公司:第68季度55 68甲15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},理论计算。系统。50,第4号,706--720(2012;Zbl 1279.68182) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 指令序列处理运算符。 (英语) Zbl 1279.68075号 Acta信息。 第3期第49页,第139-172页(2012年).MSC公司:第68季度01 2005年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第49期,第3期,第139--172页(2012年;Zbl 1279.68075) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 倒置草甸和分裂草甸。 (英语) 兹比尔1251.68144 J.应用。日志。 9,第3期,203-220(2011).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。9,第3号,203--220(2011;Zbl 1251.68144) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 多线程的线程代数。 (英语) Zbl 1225.68060号 正式Asp。计算。 23,第4期,567-583(2011).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},正式Asp。计算。23,第4号,567--583(2011;Zbl 1225.68060) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 取消草地上总计算的直线指令序列完整性。 (英语) Zbl 1217.68141号 理论计算。系统。 48,第4期,840-864(2011).MSC公司:68问题65 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},理论计算。系统。48,第4号,840--864(2011;Zbl 1217.68141) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 分子动力学的线程微积分。 (英语) Zbl 1197.68046号 Inf.计算。 208,第7期,817-844(2010).MSC公司:2005年第68季度 2010年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Inf.Compute。208,编号7,817--844(2010;Zbl 1197.68046) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 面向机器结构的控制代码逻辑。 (英语) Zbl 1186.68104号 Acta信息。 46,第5号,375-401(2009年).MSC公司:68N20型 03B70号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第46期,第5期,第375--401页(2009年;Zbl 1186.68104) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 用于流水线指令处理的Maurer计算机。 (英语) Zbl 1141.68010号 数学。结构。计算。科学。 18,第2号,373-409(2008).MSC公司:2007年7月68日 2005年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},数学。结构。计算。科学。18,编号2,373--409(2008;Zbl 1141.68010) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在Maurer机器上模拟图灵机器。 (英语) Zbl 1150.03011号 J.应用。日志。 6,第1号,1-23(2008). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第1号,1--23(2008;Zbl 1150.03011) 全文: 内政部 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 用于策略交错的线程代数。 (英语) Zbl 1131.68067号 正式Asp。计算。 19,第4期,445-474(2007).MSC公司:68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},正式Asp。计算。19,第4445-474号(2007年;兹bl 1131.68067) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 进程代数中的非正则迭代器。 (英语) Zbl 0983.68138号 西奥。计算。科学。 269,编号1-2,203-229(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},Theor。计算。科学。269,编号1--2,203-229(2001;Zbl 0983.68138) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 具有四值逻辑的进程代数。 (英语) Zbl 1036.68067号 J.应用。非类别。日志。 10,第1期,27-53(2000).MSC公司:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。非类别。日志。10,第1号,第27--53条(2000年;Zbl 1036.68067) 全文: 内政部 链接
Jan A.Bergstra。;阿尔班·蓬塞 克莱恩的三值逻辑和过程代数。 (英语) 兹比尔1338.68200 Inf.流程。莱特。 67,第2期,95-103(1998年).MSC公司:68问题85 03B50号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},信息处理。莱特。67,第2号,95--103(1998;Zbl 1338.68200) 全文: 内政部 链接
巴顿,J.C.M。;J.A.伯格斯特拉。 具体进程代数中的全局重命名运算符。 (英语) Zbl 0651.68031号 Inf.计算。 78,第3号,205-245(1988).MSC公司:68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra},Inf.Compute。78,第3号,205--245(1988;Zbl 0651.68031) 全文: 内政部 链接
J.A.伯格斯特拉。;J.V.塔克。 可计算和半可计算数据类型的代数规范。 (英语) Zbl 0637.68013号 西奥。计算。科学。 50, 137-181 (1987). 审核人:G.格里加斯 MSC公司:68号01 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。50137--181(1987年;Zbl 0637.68013) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。;Klop,J.W。 论库门公平抽象规则的一致性。 (英语) 兹比尔06216.8010 西奥。计算。科学。 51, 129-176 (1987).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,Theor。计算。科学。51、129--176(1987年;Zbl 0621.68010) 全文: 内政部 链接
J.A.伯格斯特拉。;J.V.塔克。 基于霍尔逻辑的程序公理语义。 (英语) Zbl 0551.68016号 Acta信息。 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) 全文: 内政部
J.A.伯格斯特拉。;Klop,J.W。 使用霍尔逻辑证明程序包含。 (英语) Zbl 0533.68011号 西奥。计算。科学。 30, 1-48 (1984).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.W.Klop},Theor。计算。科学。30、1--48(1984年;Zbl 0533.68011) 全文: 内政部 链接
J.A.伯格斯特拉。;J.V.塔克。 霍尔的逻辑和皮亚诺的算术。 (英语) Zbl 0497.68007号 西奥。计算。科学。 22, 265-284 (1983).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。22265--284(1983年;Zbl 0497.68007) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 霍尔逻辑的表达性和完整性。 (英语) Zbl 0549.68021号 J.计算。系统。科学。 25, 267-284 (1982). 审核人:J.-J.Ch.梅耶 MSC公司:68问题65 60年第68季度 03D60年 03C35号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},J.Comput。系统。科学。25267--284(1982;Zbl 0549.68021) 全文: 内政部 链接
J.A.伯格斯特拉。;J.V.塔克。 一些自然结构在其while-programs中没有一个合理且可判定的Hoare-like逻辑。 (英语) Zbl 0483.68033号 西奥。计算。科学。 17, 303-315 (1982).MSC公司:68问题65 60年第68季度 03天35分 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。17、303--315(1982年;Zbl 0483.68033) 全文: 内政部 链接
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) 全文: 内政部 链接