×

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

最新的 引文 相关性
罗斯·霍恩

子加法：扩展线性逻辑的概率选择证明理论。 （英语） 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）
全文： 内政部
丹尼尔·奈德;亚历山大·韦纳特;马丁·齐默尔曼

鲁棒、表达和定量的线性时间逻辑：免费选择任意两个。 （英语） Zbl 1487.68159号

Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，1-16（2019）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305，1-16（2019；Zbl 1487.68159）
全文： arXiv公司 链接
长谷川、Masahito

从线性逻辑到循环共享。 （英语） Zbl 1486.03107号

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29231-42（2019）。
MSC公司：03楼52 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.长谷川}，电子。程序。西奥。计算。科学。（EPTCS）292，31-42（2019；Zbl 1486.03107）
全文： arXiv公司 链接
博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳

超属性的程序修复。 （英语） Zbl 1437.68112号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11781, 423-441 (2019).
MSC公司：60年第68季度 03B44号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Bonakdarpour}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。11781、423--441（2019年；Zbl 1437.68112）
全文： 内政部 arXiv公司
马丁·拉西克;戴维·巴恩斯;Sr Djan Krstić;德米特里·特拉泰尔

度量时态逻辑的多头监控。 （英语） Zbl 1437.68119号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11781, 151-170 (2019).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Raszyk}等人，Lect。注释计算。科学。11781151-170（2019年；Zbl 1437.68119）
全文： 内政部 链接
奥古斯托·莫达内塞

扩展细胞自动机的复杂性理论方面。 （英语） Zbl 1425.68284号

Castill-Ramirez，Alonso（编辑）等人，《细胞自动机和离散复杂系统》。第25届IFIP WG 1.5国际研讨会，2019年6月26日至28日，墨西哥瓜达拉哈拉，AUTOMATA 2019，会议记录。查姆：斯普林格。勒克特。注释计算。科学。11525, 20-34 (2019).
MSC公司：68问题80 03日30分 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Modanese}，莱克特。注释计算。科学。11525，20-34（2019；Zbl 1425.68284）
全文： 内政部 arXiv公司 链接
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） Zbl 1442.68119号

日志。计算方法。科学。 15，第4号，第2号论文，46页（2019年）.
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，日志。计算方法。科学。15，第4号，第2号论文，46页（2019年；Zbl 1442.68119）
全文： arXiv公司
Aleksandrova，S.A.公司。;巴泽诺夫，N.A。

关于列表结构的可判定性。 （英语。俄文原件） Zbl 1481.03029号

同胞。数学。J。 60，第3期，377-388（2019）; 来自Sib的翻译。材料Zh。60，第3期，489-505（2019年）。
MSC公司：05年3月 65年第68季度 03B25号 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Aleksandrova}和\textit{N.A.Bazhenov}，Sib。数学。J.60，No.3，377--388（2019；Zbl 1481.03029）；来自Sib的翻译。材料Zh。60，第3号，489--505（2019）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简

概率语义下的定量自动机。 （英语） Zbl 1442.68086号

日志。计算方法。科学。 15，第3号，第16号论文，45页（2019年）.
MSC公司：65年第68季度 03B25号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。计算方法。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086）
全文： arXiv公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ （英语） Zbl 1429.68139号

西奥。计算。科学。 764, 125-144 (2019).
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Theor。计算。科学。764125-144（2019年；Zbl 1429.68139）
全文： 内政部 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

时间间隔与时间点逻辑模型检查。表现力比较。 （英语） Zbl 1407.68283号

ACM事务处理。计算。日志。 第20条第1款第4条第31页（2019年）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，ACM Trans。计算。日志。20，第1号，第4条，第31页（2019年；Zbl 1407.68283）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件