×

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

最新的 引文 关联
Araujo de Resende，M.F。；伊比埃塔·希梅内兹，J.P。；J·洛卡·埃斯皮罗。

具有SPT相位和图拓扑顺序的阿贝尔系统的非阿贝尔融合规则。 （英语） Zbl 1515.81115号

安·物理。 446，文章ID 169109，17 p.（2022）.
MSC公司：85年第81季度 18N20型 第81页第40页 81R40型 81页68 2012年第68季度 82C26型
PDF格式BibTeX公司 XML格式引用
\文本{M.F.Araujo de Resende}等人，Ann.Phys。446，文章ID 169109，17 p.（2022；Zbl 1515.81115）
全文： 内政部 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 1436.81006号

新加坡：Springer（ISBN 978-981-13-6580-5/hbk；978-981-3-6583-6/pbk；988-981-16-6581-2/电子书）。十六、569页。(2019).
审核人：Ivan Naumkin（尼斯）
MSC公司：81-02 2005年第81季度 55年第35季度 81伏73 82C26型 2015年第81季度 2008年第35页 18立方米 81-10 78A37飞机 49公里40
PDF格式BibTeX公司 XML格式引用
\textit{W.-M.Liu}和textit{E.Kengne}，非线性系统中的薛定谔方程。新加坡：Springer（2019；Zbl 1436.81006）
全文： 内政部
尼古拉斯·贝尔；巴韦尔·索博辛斯基

粘合类别的规则代数。 （英语） Zbl 1528.68154号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第11条，第21页（2018年）。
MSC公司：第68季度第42季度 18B50型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Behr}和\textit{P.Sobocinski}，LIPIcs——莱布尼茨国际程序。通知。119，第11条，第21页（2018；Zbl 1528.68154）
全文： 内政部
乔治·巴奇；拉杜·马达尔；帕南加登，普拉卡什；戈登·普洛金

马尔可夫过程的代数理论。 （英语） Zbl 1453.08002号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。679-688 (2018).
MSC公司：08B05号 08C15号 08A70号 18立方厘米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。679--688（2018；Zbl 1453.08002）
全文： 内政部 链接
克里斯·希恩；奥哈德·卡玛；萨姆·斯塔顿；杨红seok

高阶概率论的一个方便的范畴。 （英语） 兹比尔1458.60005

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第77条，第12页（2017年）。
MSC公司：60A05型 18日第15天 60E99型 60G09年 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Heunen}等人，摘自：2017年第32届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第77条，第12页（2017；Zbl 1458.60005）
全文： arXiv公司 链接
肯塔·乔；巴特·雅各布斯

概率计算的EfProb库。 （英语） Zbl 1433.68266号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第25条，第8页（2017年）。
MSC公司：87年第68季度 18个C20 68-04
PDF格式BibTeX公司 XML格式引用
\textit{K.Cho}和\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。72，第25条，第8页（2017年；兹bl 1433.68266）
全文： 内政部
安娜·索科洛娃；哈拉尔德·沃切克

分布凸集中的终止。 （英语） Zbl 1400.68145号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-033-0）。LIPIcs–莱布尼茨国际信息学论文集72，第22条，第16页（2017年）。
MSC公司：87年第68季度 18B20型 18个C20 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Sokolova}和\textit{H.Woracek}，LIPIcs——莱布尼茨国际程序。通知。72，第22条，第16页（2017年；兹bl 1400.68145）
全文： 内政部
亚历克斯·辛普森

概率滑轮和Giry monad。 （英语） Zbl 1434.18004号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第1条，第6页（2017年）。
MSC公司：18 C50 18层20 第68季度55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Simpson}，LIPIcs——莱布尼茨国际程序。通知。72，第1条，第6页（2017年；Zbl 1434.18004）
全文： 内政部
Mislove，迈克尔

域上的离散随机变量，再次访问。 （英语） Zbl 1485.68148号

Gibson-Robinson，Thomas（编辑）等人，《并发、安全和谜题》。献给安德鲁·威廉·罗斯科60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10160, 185-202 (2017).
MSC公司：第68季度55 18立方厘米 2010年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mislove}，莱克特。注释计算。科学。10160185-202（2017；Zbl 1485.68148）
全文： 内政部
德克斯特·科赞

Kolmogorov扩张、鞅收敛和过程的组合性。 （英语） Zbl 1401.68239号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。692-699（2016年）。
MSC公司：87年第68季度 18A30型 18 C50 60G05型 60G42型 60J35型 68甲15 2010年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}，in：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年7月5-8日，美国纽约市，LICS 2016。纽约州纽约市：计算机协会（ACM）。692--699（2016；Zbl 1401.68239）
全文： 内政部
佐藤，铁杉

连续随机抽样的近似关系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公司
弗雷德里克·达尔奎斯特；文森特·达诺斯；伊利亚斯·加尼尔

稳健的参数化高阶概率模型。 （英语） Zbl 1392.68222号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第23条，第15页（2016）。
MSC公司：第68季度55 18B30型 60B99型 60G99型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}等人，LIPIcs——莱布尼茨国际程序。通知。59，第23条，第15页（2016年；Zbl 1392.68222）
全文： 内政部
弗雷德里克·达尔奎斯特；文森特·达诺斯；伊利亚斯·加尼尔；奥哈德·卡玛

欧米伽完全锥对偶的贝叶斯反演（特邀论文）。 （英语） Zbl 1392.68294号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第1条，第15页（2016年）。
MSC公司：68问题85 18A40型 18B30型 60A10英寸 60J35型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}等人，LIPIcs——莱布尼茨国际程序。通知。59，第1条，第15页（2016年；Zbl 1392.68294）
全文： 内政部
Kohei的Kishida

语境的随机关系预设和动态逻辑。 （英语） Zbl 1467.68131号

Coecke，Bob（编辑）等人，《第十一届量子物理与逻辑研讨会论文集》，QPL'14，日本京都，2014年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）172115-132（2014）。
MSC公司：68问题85 03B70号 03G30型 18层20 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Kishida}，电子。程序。西奥。计算。科学。（EPTCS）172115--132（2014；Zbl 1467.68131）
全文： arXiv公司 链接
佐藤，铁杉

识别子分布单体上的所有前序。 （英语） 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）
全文： 内政部
科琳娜·Cîrstea

线性时间逻辑的联合方法。 （英语） Zbl 1405.68192号

Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿8412，426-440（2014）。
MSC公司：68问题65 03B44号 03G30型 18B20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛C.Cîrstea｝，勒克特。注释计算。科学。8412426-440（2014年；Zbl 1405.68192）
全文： 内政部
Mislove，迈克尔

连续随机变量域的剖析。二、。 （英语） 兹比尔1264.68108

Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860，225-245（2013）。
MSC公司：第68季度55 06B35号 18日第15天 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mislove}，莱克特。注释计算。科学。7860225-245（2013年；Zbl 1264.68108）
全文： 内政部
柯斯坦、海宁；巴巴拉·科尼格

基于测度理论的概率转移系统的余代数迹语义。 （英语） Zbl 1364.68289号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，410-424（2012）。
MSC公司：68问题85 18个C20 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Kerstan}和\textit{B.König}，莱克特。注释计算。科学。7454，410-424（2012；Zbl 1364.68289）
全文： 内政部 链接
丹尼尔·布朗；里卡多·普切拉

时间随机关系的类别。 （英语） Zbl 1337.68195号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249193-217（2009）。
MSC公司：87年第68季度 18立方厘米 18 C50 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Brown}和\textit{R.Pucella}，电子。注释Theor。计算。科学。249、193--217（2009年；Zbl 1337.68195）
全文： 内政部
克里斯托夫·舒伯特

可测多项式函子的终端余代数。 （英语） Zbl 1241.68085号

Chen，Jianer（编辑）等，计算模型的理论和应用。2009年5月18日至22日在中国长沙举行的TAMC 2009第六届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02016-2/pbk）。计算机科学课堂讲稿5532325-334（2009）。
MSC公司：68问题85 03B44号 03B45 03G30型 18比99 18天35分 28A05号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.舒伯特}，莱克特。注释计算。科学。5532、325--334（2009年；Zbl 1241.68085）
全文： 内政部
Ernst-Erich Doberkat

分布等价马尔可夫转移系统的双相似性。 （英语） Zbl 1286.68351号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，41-53（2008）。
MSC公司：68问题85 87年第68季度 03B70号 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{E.-E.Doberkat}，电子。注释Theor。计算。科学。212、41-53（2008年；Zbl 1286.68351）
全文： 内政部
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）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件