谢尔盖·冈查洛夫;德克·霍夫曼;佩德罗·诺拉;卢茨·施罗德;威尔德,保罗 关于lax扩展和谓词提升的无点透视图。 (英语) Zbl 07813378号 数学。结构。计算。科学。 34,编号2,98-127(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,《数学》。结构。计算。科学。34,编号2,98--127(2024;Zbl 07813378) 全文: DOI程序 arXiv公司
Xu,小泉;温新鹏;习晓勇 Smyth幂偏序集上的Scott拓扑。 (英语) Zbl 07813370号 数学。结构。计算。科学。 33,编号9,832-867(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,数学。结构。计算。科学。33,编号9832--867(2023;Zbl 07813370) 全文: DOI程序
佐藤,铁杉;胜本、新雅 关系程序逻辑单子上的分歧。 (英语) Zbl 07813350号 数学。结构。计算。科学。 33,编号4-5,427-485(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{S.-Y.Katsumata},数学。结构。计算。科学。33,编号4--5,427--485(2023;Zbl 07813350) 全文: DOI程序 arXiv公司
Xu,小泉;包,孟;张晓元 在配备Isbell拓扑和Scott拓扑的功能空间上。 (英语) 兹比尔1521.54007 数学。结构。计算。科学。 32,编号8,1099-1116(2022). 审核人:亚历山大·沃特(吕培克) MSC公司:54立方厘米 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,数学。结构。计算。科学。32,第8号,1099--1116(2022;Zbl 1521.54007) 全文: DOI程序
莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·索雷斯·巴博萨 加权同步自动机。 (英语) Zbl 1512.68141号 数学。结构。计算。科学。 32,第9期,1234-1253(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人,数学。结构。计算。科学。32,编号9,1234--1253(2022;Zbl 1512.68141) 全文: DOI程序
克劳迪奥·赫米达;乌代·雷迪;埃德蒙·罗宾逊;阿莱西奥·桑塔马利亚 作为逻辑关系的相互模拟。 (英语) Zbl 1506.68060号 数学。结构。计算。科学。 32,第4号,442-471(2022).MSC公司:68问题85 03G30型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}等人,《数学》。结构。计算。科学。32,第4号,442--471(2022;Zbl 1506.68060) 全文: DOI程序 arXiv公司
安德斯·莫特伯格 同伦类型理论和单叶基础中的立方方法。 (英语) 兹比尔07630472 数学。结构。计算。科学。 31,第10期,1147-1184(2021).MSC公司:03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mörtberg},数学。结构。计算。科学。31,第10号,1147--1184(2021;Zbl 07630472) 全文: DOI程序
詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 卷积和并发。 (英语) Zbl 1490.68139号 数学。结构。计算。科学。 31,第8期,918-949(2021).MSC公司:68问题85 03G25号 07年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,数学。结构。计算。科学。31,第8号,918--949(2021;Zbl 1490.68139) 全文: DOI程序 arXiv公司
让·古鲍特·拉雷克;贾晓东 分离最小估值、点控制估值和连续估值。 (英语) 兹伯利07527573 数学。结构。计算。科学。 31,第6号,614-632(2021).MSC公司:06B35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{X.Jia},数学。结构。计算。科学。31,第6号,614--632(2021;Zbl 07527573) 全文: DOI程序 arXiv公司
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski 高维自动机语言。 (英语) Zbl 1495.68119号 数学。结构。计算。科学。 31,5号,575-613(2021).MSC公司:65年第68季度 18号50 54个F05 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,《数学》。结构。计算。科学。31,第5号,575--613(2021;Zbl 1495.68119) 全文: DOI程序 arXiv公司
谢尔盖·斯拉夫诺夫 赋范锥中的线性逻辑:概率相干空间及其以外。 (英语) 兹伯利07527569 数学。结构。计算。科学。 31,第5号,495-534(2021).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Slavnov},数学。结构。计算。科学。31,编号5,495--534(2021;Zbl 07527569) 全文: DOI程序 arXiv公司
李庆国;袁振柱;赵东生 一些非Hausdorff拓扑性质的统一方法。 (英语) Zbl 1476.54031号 数学。结构。计算。科学。 30,第9期,997-1010(2020). 审核人:Seithuti Philemon Moshokoa(比勒陀利亚) MSC公司:54个F05 54D10号 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}等人,数学。结构。计算。科学。30,第9号,997--1010(2020;Zbl 1476.54031) 全文: DOI程序
B.雅各布斯。 基于信道的共轭先验透视图。 (英语) Zbl 1442.62054号 数学。结构。计算。科学。 30,第1号,44-61(2020年).MSC公司:2015年1月62日 62N01号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},数学。结构。计算。科学。30,第1号,44--61(2020;Zbl 1442.62054) 全文: DOI程序 arXiv公司
肯塔·乔;巴特·雅各布斯 通过字符串图进行的分解和贝叶斯反演。 (英语) Zbl 1452.18008号 数学。结构。计算。科学。 29,第7期,938-971(2019). 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:18立方厘米 28A50型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Cho}和\textit{B.Jacobs},数学。结构。计算。科学。29,第7号,938--971(2019;Zbl 1452.18008) 全文: DOI程序 arXiv公司
玛丽贝尔·费尔南德斯;赫莱内·基什内尔;布鲁诺·皮诺 战略端口图重写:交互式建模框架。 (英语) Zbl 1417.68076号 数学。结构。计算。科学。 29,第5期,615-662(2019).MSC公司:2012年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}等人,《数学》。结构。计算。科学。29,第5号,615--662(2019;Zbl 1417.68076) 全文: DOI程序 arXiv公司
德克·霍夫曼;内维斯、雷纳托;佩德罗·诺拉 越南煤炭类别的限制。 (英语) Zbl 1417.68108号 数学。结构。计算。科学。 29,第4号,552-587(2019).MSC公司:68问题65 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofmann}等人,《数学》。结构。计算。科学。29,第4号,552--587(2019;Zbl 1417.68108) 全文: DOI程序 arXiv公司
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 28,第6号,942-990(2018).MSC公司:68吨15 03B35型 第03页第55页 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: DOI程序
让·古鲍特·拉雷克 混合选择模型之间的同构定理。 (英语) Zbl 1378.68111号 数学。结构。计算。科学。 27,第6号,1032-1067(2017).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq},数学。结构。计算。科学。27,No.6,1032--1067(2017;Zbl 1378.68111) 全文: DOI程序