马库斯拿铁 重新审视分支时间逻辑和公平。 (英语) Zbl 1498.68163号 数学。结构。计算。科学。 31,第9期,1135-1144(2021). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Latte},数学。结构。计算。科学。31,编号9,1135--1144(2021;Zbl 1498.68163) 全文: DOI程序
默多克·J·加贝。 UTxO区块链代数。 (英语) Zbl 1489.68084号 数学。结构。计算。科学。 31,第9期,1034-1089(2021).MSC公司:68第25页 18A40型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},数学。结构。计算。科学。31,编号9,1034--1089(2021;Zbl 1489.68084) 全文: DOI程序 arXiv公司
梅·盖尔克;佩特里西安,丹妮拉;卢卡·雷吉奥 语言和代码单数上的量词。 (英语) Zbl 1495.68145号 数学。结构。计算。科学。 30,第10号,1054-1088(2020).MSC公司:70年第68季度 03B70号 2016年60月 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Gehrke}等人,《数学》。结构。计算。科学。30,第10号,1054--1088(2020;Zbl 1495.68145) 全文: DOI程序
阿兰·芬克尔;Jean Goubault Larrecq先生 WSTS的正向分析。一: 完工。 (英语) Zbl 1491.68122号 数学。结构。计算。科学。 第7期第30期,邮编752-832(2020).MSC公司:68问题85 54华氏30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{J.Goubault-Larrecq},数学。结构。计算。科学。30,第7号,752--832(2020;Zbl 1491.68122) 全文: DOI程序
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 28,第6号,942-990(2018).MSC公司:68吨15 03立方厘米35 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: DOI程序
迭戈·菲格拉;彼得·霍夫曼;萨沃米尔·拉索塔 关联定时自动机和寄存器自动机。 (英语) Zbl 1362.68138号 数学。结构。计算。科学。 26,第6号,993-1021(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,《数学》。结构。计算。科学。26,第6号,993--1021(2016;Zbl 1362.68138) 全文: DOI程序 arXiv公司