×

找到34个文档（结果1-34）

最新的 引文 关联
马可·阿巴迪尼；贝扎尼什维利，古拉姆；卡拉，卢卡

将de Vries对偶推广到紧Hausdorff空间之间的闭关系。 （英语） Zbl 1528.54005号

拓扑应用程序。 337，文章ID 108641，22 p.（2023）.
审核人：徐晓泉（漳州）
MSC公司：54B30型 54天30分 54G05号 18楼70 2015年6月 18B10型 18E08型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abbadini}等人，拓扑应用。337，文章ID 108641，22 p.（2023；Zbl 1528.54005）
全文： 内政部 arXiv公司
菲利波·邦奇；亚历山德拉·席尔瓦；安娜·索科洛娃

通过凸代数幂的分布双相似性。 （英语） Zbl 1480.18005号

日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）.
审核人：Ernst Erich Doberkat（多特蒙德）
MSC公司：18立方厘米 03B42号 87年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005）
全文： arXiv公司 链接
菲利波·邦奇；巴巴拉·科尼格；达尼埃拉·佩特里桑

通过谎言实现行为指标的最新技术。 （英语） Zbl 1520.68089号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第17条，第17页（2018年）。
MSC公司：68问题85 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第17条，第17页（2018；Zbl 1520.68089）
全文： 内政部 arXiv公司
乌尔里希多施；斯特凡·米利厄斯；卢茨·施罗德；托尔斯滕·维曼

余代数表达式语言中的谓词提升和函子表示。 （英语） Zbl 1519.68146号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 56-77 (2018).
MSC公司：68问题65 03G30型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，Lect。注释计算。科学。11202，56-77（2018；Zbl 1519.68146）
全文： 内政部 arXiv公司
佐藤，铁杉

连续随机抽样的近似关系Hoare逻辑。 （英语） Zbl 1401.68206号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325277-298（2016）。
MSC公司：60年第68季度 03B70号 18立方厘米 第68页，共15页 68第25页 第68季度55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Sato}，电子。注释Theor。计算。科学。325277-298（2016；Zbl 1401.68206）
全文： 内政部 arXiv公司
弗雷德里克·达尔奎斯特；文森特·达诺斯；伊利亚斯·加尼尔

Giry和机器。 （英语） Zbl 1395.54012号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，85-110（2016）。
MSC公司：54B30型 2015年3月 18立方厘米 60A05型
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}等人，《电子》。注释Theor。计算。科学。325、85——110（2016；Zbl 1395.54012）
全文： 内政部
佐藤，铁杉

识别子分布单体上的所有前序。 （英语） Zbl 1337.68192号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308、309-327，仅电子版（2014）。
MSC公司：68问题85 06年06月06日 18立方厘米 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Sato}，电子。注释Theor。计算。科学。308、309--327（2014年；Zbl 1337.68192）
全文： 内政部
乔治·巴奇；乔瓦尼·巴奇；金·古德斯特兰·拉森；拉杜·马达尔

任意可测空间上马尔可夫过程的互模拟。 （英语） Zbl 1407.68327号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 76-95 (2014).
MSC公司：68问题85 18B99型 60J25型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，Lect。注释计算。科学。8464，76-95（2014；Zbl 1407.68327）
全文： 内政部
JoséN·奥利维拉。

加权（概率）自动机的类型化线性代数。 （英语） Zbl 1297.68161号

Moreira，Nelma（编辑）等人，《自动机的实现和应用》。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31605-0/pbk）。计算机科学课堂讲稿7381，52-65（2012）。
MSC公司：65年第68季度 15B33型 18B99型 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}，莱克特。注释计算。科学。7381、52-65（2012年；Zbl 1297.68161）
全文： 内政部 链接
Mislove，迈克尔；达斯科·巴甫洛维奇；詹姆斯·沃雷尔

将马尔可夫过程标记为广义随机关系。 （英语） Zbl 1277.68198号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，459-478（2007）。
MSC公司：68问题85 18立方厘米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mislove}等人，《电子》。注释Theor。计算。科学。172、459--478（2007年；Zbl 1277.68198）
全文： 内政部
德文克，E.P。；J.J.M.M.鲁顿。

概率转移系统的互模拟：一种联合方法。 （英语） Zbl 1401.68236号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学讲义1256，460-470（1997）。
MSC公司：68问题85 18B20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.P.de Vink}和\textit{J.J.M.M.Rutten}，莱克特。注释计算。科学。1256460-470（1997年；兹bl 1401.68236）
全文： 内政部 链接
张国强

析取系统和（mathrm{L}）-域。 （英语） Zbl 1425.68244号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 284-295 (1992).
MSC公司：第68季度55 06B35号 18B99型
PDF格式BibTeX公司 XML格式引用
\textit{G.-Q.Zhang}，莱克特。注释计算。科学。623284-295（1992年；Zbl 1425.68244）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件