Jan A.Bergstra。;英格·贝斯克 关于向后跳转对指令序列表达的贡献。 (英语) Zbl 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号 学报信息。 49,第3期,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) 全文: 内政部
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季度 第68季度10 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 1206.68114号 数学。结构。计算。科学。 20,第3期,395-417(2010).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},数学。结构。计算。科学。20,第3号,395-417(2010年;Zbl 1206.68114) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 面向机器结构的控制代码逻辑。 (英语) Zbl 1186.68104号 学报信息。 46,第5期,375-401(2009).MSC公司:第68页第20页 03B70号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第46期,第5期,第375--401页(2009年;Zbl 1186.68104) 全文: 内政部 arXiv公司
阿尔班·蓬塞;范德兹瓦格,马克B。 单面螺纹的风险评估。 (英语) Zbl 1166.68010号 理论计算。系统。 43,编号3-4,563-582(2008).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag},理论计算。系统。43,编号3--4,563--582(2008;Zbl 1166.68010) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 使用跳转指令编程代数。 (英语) Zbl 1158.68359号 J.应用。日志。 6,第4号,553-563(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6号,第4553-563号(2008年;兹bl 1158.68359) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 用于流水线指令处理的Maurer计算机。 (英语) 兹比尔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年;兹bl 1150.03011) 全文: 内政部 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 显式多线程的同步合作。 (英语) Zbl 1133.68051号 学报信息。 44,编号7-8,525-569(2007).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第44期,第7--8、525--569号(2007年;Zbl 1133.68051) 全文: 内政部
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,第4号,445--474(2007;Zbl 1131.68067) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克;阿尔班·蓬塞 下推线程的决策问题。 (英语) 兹比尔1120.68077 学报信息。 44,No.2,75-90(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,《信息学报》第44卷第2期,第75-90页(2007年;Zbl 1120.68077) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 程序代数的执行体系结构。 (英语) Zbl 1116.68024号 J.应用。日志。 170-192年第1期第5页(2007年).MSC公司:68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。日志。5,第1号,170--192(2007;Zbl 1116.68024) 全文: 内政部