苏布拉马尼,K。;Wojciechowski,P。 差分约束系统的单位只读反驳。 (英语) Zbl 07729121号 理论计算。系统。 67,第4期,877-899(2023).MSC公司:68季度xx 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{P.Wojciechowski},理论计算。系统。67,编号4,877--899(2023;Zbl 07729121) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有策略交错的进程代数。 (英语) 兹比尔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公司
Mikołaj博扬奇克 标称幺半群。 (英语) Zbl 1295.68163号 理论计算。系统。 53,第2期,194-222(2013). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度第70季度 65年第68季度 68页99 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk},理论计算。系统。53,第2号,194--222(2013;Zbl 1295.68163) 全文: 内政部
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) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 取消草地上总计算的直线指令序列完整性。 (英语) Zbl 1217.68141号 理论计算。系统。 第4期第48页,第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) 全文: 内政部 链接
罗兰·巴克豪斯;亨克·多恩博斯 数据类型通用终端证明。 (英语) 兹比尔1166.68027 理论计算。系统。 43,编号3-4,362-393(2008).MSC公司:68问题65 03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{H.Doornbos},理论计算。系统。43,编号3--4,362--393(2008;Zbl 1166.68027) 全文: 内政部 链接
艾丽卡·阿尔布拉汉姆;安德烈亚斯·格吕纳;马丁·斯特芬 带有监视器的面向对象语言的抽象接口行为。 (英语) Zbl 1162.68475号 理论计算。系统。 43,编号3-4,322-361(2008).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,《理论计算》。系统。43,编号3--4,322--361(2008;Zbl 1162.68475) 全文: 内政部 链接