×

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

最新的 引文 关联
罗斯·霍恩

子添加剂：扩展线性逻辑的概率选择的证明理论。 （英语） Zbl 1528.68254号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第23条，第16页（2019年）。
MSC公司：68问题85 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}，LIPIcs——莱布尼茨国际程序。通知。131，第23条，第16页（2019年；Zbl 1528.68254）
全文： 内政部
克里斯特尔·拜尔；卢卡·德·阿尔法罗；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
拉诺特、拉格罗；马西莫·梅罗；西蒙·蒂尼

组密钥更新的组合弱度量。 （英语） Zbl 1441.68146号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第72条，第16页（2017年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Lanotte}等人，LIPIcs——莱布尼茨国际程序。通知。83，第72条，第16页（2017年；Zbl 1441.68146）
全文： 内政部
约翰·Hölzl；安德烈亚斯·洛赫比勒；德米特里·特拉泰尔

概率系统类型的形式化层次结构。珍珠校样。 （英语） Zbl 1465.68199号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 203-220 (2015).
MSC公司：87年第68季度 68问题65 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Hölzl}等人，Lect。注释计算。科学。9236203-220（2015；Zbl 1465.68199）
全文： 内政部
约书亚·萨克；张丽君

概率表征公式的一般框架。 （英语） Zbl 1326.68176号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148396-411（2012）。
MSC公司：65年第68季度 03B48号 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Sack}和\textit{L.Zhang}，Lect。注释计算。科学。7148396--411（2012年；Zbl 1326.68176）
全文： 内政部
宋磊；张丽君；Jens Chr.Godskesen。

互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。注释计算。科学。6901108-123（2011；Zbl 1344.68170）
全文： 内政部 链接
贝诺·凯劳德；贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基

约束马尔可夫链。 （英语） Zbl 1223.68070号

西奥。计算。科学。 412，第34号，4373-4404（2011）.
审核人：托马斯·扬森（科克）
MSC公司：60年第68季度 60J10型
PDF格式BibTeX公司 XML格式引用
\textit{B.Caillaud}等人，Theor。计算。科学。412，第34号，4373--4404（2011；Zbl 1223.68070）
全文： 内政部
乔治卡琳

CoLoSS：合并逻辑可满足性求解器。 （英语） Zbl 1347.68300号

Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，41-54（2009）。
MSC公司：68吨15 03B35型 03B45号 03B62号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Calin}，电子。注释Theor。计算。科学。231、41-54（2009年；Zbl 1347.68300）
全文： 内政部
科琳娜·科斯特；梅赫努什·萨德扎德

联合不动点逻辑的模块化游戏。 （英语） Zbl 1279.03056号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，71-92（2008）。
MSC公司：03B70号 03B45号 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Cîrstea｝和\textit｛M.Sadrzadeh｝，电子。注释Theor。计算。科学。203，编号5，71-92（2008；Zbl 1279.03056）
全文： 内政部
加布里埃尔·乔巴努

从基因调控到随机融合。 （英语） Zbl 1166.68319号

Calude，Cristian S.（编辑）等人，《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85193-6/pbk）。计算机科学课堂讲稿5204，51-63（2008）。
MSC公司：2005年第68季度 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciobanu}，莱克特。注释计算。科学。5204、51-63（2008年；Zbl 1166.68319）
全文： 内政部
巴托克·克林

超越集合的余代数模态逻辑。 （英语） Zbl 1316.03017号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173177-201（2007）。
MSC公司：03B70号 03B45号 03G30型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛B.Klin｝，电子。注释Theor。计算。科学。173177--201（2007年；兹bl 1316.03017）
全文： 内政部
亚历山德拉·迪·皮耶罗；克里斯·汉金；赫伯特，威克利基

关于数据流分析的概率技术。 （英语） 兹比尔1279.68034

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，59-77（2007）。
MSC公司：68甲15 87年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Pierro}等人，《电子》。注释Theor。计算。科学。190，第3号，59--77（2007；Zbl 1279.68034）
全文： 内政部
西蒙·蒂尼

关于生成概率互模拟的注释。 （英语） Zbl 1277.68210号

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，77-88（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Tini}，电子。注释Theor。计算。科学。175，第1号，77--88（2007；Zbl 1277.68210）
全文： 内政部
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）
全文： 内政部
邓玉欣；罗布·范格拉贝克；马修·轩尼诗；摩根，卡罗尔；张晨毅

关于测试概率过程的备注。 （英语） Zbl 1277.68121号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，359-397（2007）。
MSC公司：68问题55 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，《电子》。注释Theor。计算。科学。172，359--397（2007；Zbl 1277.68121）
全文： 内政部
巴特尔斯，福尔克

概率转移系统的GSOS（扩展抽象）。 （英语） Zbl 1270.68204号

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第1期，29-53（2002）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bartels}，电子。注释Theor。计算。科学。65，第1号，第29--53条（2002年；Zbl 1270.68204）
全文： 内政部
亚历山德拉·迪·皮耶罗；赫伯特，威克利基

概率编程语言中并发的线性结构。 （英语） Zbl 1264.68041号

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》4010-143（2001）。
MSC公司：68甲15 68甲19 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Di-Pierro}和\textit{H.Wiklicky}，电子。注释Theor。计算。科学。40、100--143（2001年；Zbl 1264.68041）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件