×

找到1492份文件(结果1-100)

1级移位和重置的类型指导部分评估。 (英语) Zbl 1471.68066号

de'Ligoro,Ugo(ed.)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)12786-100(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

(lambda\Delta)演算的遗传替换。 (英语) Zbl 1471.03023号

de’Liguoro,Ugo(编辑)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)127,45-65(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

用控制运算符证明系统F的评估终止。 (英语) Zbl 1471.68055号

de’Liguoro,Ugo(编辑)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)127,15-29(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

通过非确定性选择实现HA+EM1的强归一化。 (英语) Zbl 1471.68052号

de’Liguoro,Ugo(编辑)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)127,1-14(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有模态演算名称的证明系统。 (英语) 兹伯利1464.03035

Banerjee,Anindya(编辑)等人,《语义学、抽象解释和程序推理:纪念David A.Schmidt 60岁生日的论文》,2013年9月19日至20日,美国堪萨斯州曼哈顿。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)129,18-29(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

通过逻辑签订合同协议。 (英语) Zbl 1464.68226号

Carbone,Marco(编辑)等人,第六届交互和并发体验研讨会会议记录,ICE’13,意大利佛罗伦萨,2013年6月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)131,5-19(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

协调位置约束和名义约束。 (英语) Zbl 1464.68052号

Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,81-93(2013)。
MSC公司:68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

走向交集和并集类型的同构。 (英语) Zbl 1464.03010号

Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,58-80(2013)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过交集类型限定规范化时间。 (英语) Zbl 1464.03011号

Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,48-57(2013年)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

在具有交集类型的有界组合逻辑中使用栖息进行合成。 (英语) Zbl 1464.68077号

Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,18-34(2013)。
MSC公司:68号30 03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

强正规化\(lambda\mu\)-项的特征。 (英语) Zbl 1464.03013号

Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,1-17(2013)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Łukasiewicz \(\mu\)-微积分。 (英语) Zbl 1462.68114号

Baelde,David(编辑)等人,《第九届计算机科学不动点研讨会论文集》,意大利都灵,2013年9月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)12687-104(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

证明搜索的共性方法。 (英语) Zbl 1469.03041号

Baelde,David(编辑)等人,《第九届计算机科学不动点研讨会论文集》,意大利都灵,2013年9月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)126,28-43(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1464.68213号

Bortolussi,Luca(编辑)等人,《第十一届编程语言和系统定量方面国际研讨会论文集》,意大利罗马,2013年3月23日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)117,49-65(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

资源短缺情景下的联盟博弈模型检验。 (英语) Zbl 1464.68199号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119240-255(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

的可满足性自动变速器与战略背景。 (英语) Zbl 1464.03018号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119208-223(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有有限记忆策略的交替时间时序逻辑。 (英语) Zbl 1464.68214号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119194-207(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

加权自动机和一元二阶逻辑。 (英语) Zbl 1464.03038号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119122-135(2013)。
MSC公司:05年3月 03B16号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

团队语义中的向上闭合依赖关系。 (英语) 兹伯利1464.03031

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11993-106(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

改进混合系统的HyLTL模型检查。 (英语) Zbl 1464.68194号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11979-92(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

确定MITL规范的可满足性。 (英语) Zbl 1464.68193号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119,64-78(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

更快的\(\mathrm{CTL}^{\ast}\)表格。 (英语) Zbl 1464.03019号

Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11950-63(2013年)。
MSC公司:03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

在并发逻辑框架CLF中实现元推理。 (英语) Zbl 1464.68234号

Borgström,Johannes(ed.)等人,第20届并发表达性国际研讨会和第10届结构化操作语义研讨会,阿根廷布宜诺斯艾利斯,2013年8月26日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)120,2-16(2013)。
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

谓词逻辑的图演算。 (英语) Zbl 1464.03006号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113153-168(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

通过类型同构实现的非确定性。 (英语) Zbl 1464.03012号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113137-144(2013年)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

博克瓦尔和哈伦无意义逻辑经典片段的序贯演算。 (英语) Zbl 1464.03030号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113125-136(2013年)。
MSC公司:03B60号 05年3月
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

应对POPLmark挑战的HOAS方法薄弱。 (英语) Zbl 1464.68434号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113109-124(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

堆栈演算。 (英语) Zbl 1464.68055号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11393-108(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

非类型堆栈演算和Böhm定理。 (英语) Zbl 1464.68054号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11377-92(2013)。
MSC公司:68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

极小(λ)-超积理论。 (英语) Zbl 1464.03009号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113、61-76(2013)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

正规型局部稳定理论的初等演绎问题。 (英语) Zbl 1464.68038号

Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113,45-60(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

模态逻辑中的对称性。 (英语) Zbl 1464.03020号

Kesner,Delia(ed.)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113,27-44(2013)。
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用
全文: 链接

合成统一策略的复杂性。 (英语) Zbl 1464.91025号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112115-122(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于战略的改写观点。 (英语) Zbl 1464.68142号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11299-105(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

实现可更新的战略逻辑。 (英语) Zbl 1464.68410号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11291-98(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

将认知ATL中的效度降低为认知CTL中的有效性。 (英语) Zbl 1464.03017号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112,81-89(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

部分可观测性和公平性约束下的策略推理。 (英语) Zbl 1464.68409号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11271-79(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有角色的并发游戏结构。 (英语) Zbl 1464.68256号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)第112、61-69页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

如何既富有又快乐:关于多层游戏的定量和定性战略推理相结合(扩展抽象)。 (英语) Zbl 1464.68408号

Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112,33-41(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

战略博弈中的功能依赖(扩展抽象)。 (英语) Zbl 1464.91007号

Mogavero,Fabio(ed.)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112,9-15(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

循环\(\lambda\)-项的术语图表示。 (英语) Zbl 1464.68058号

Echahed,Rachid(编辑)等人,《第七届术语和图形计算国际研讨会论文集》,TERMGRAPH 2013,意大利罗马,2013年3月23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)110,56-73(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

将功能作为过程进行评估。 (英语) Zbl 1464.68219号

Echahed,Rachid(编辑)等人,《第七届术语和图形计算国际研讨会论文集》,TERMGRAPH 2013,意大利罗马,2013年3月23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)110,41-55(2013)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于第一哲学的直觉主义证明。(普鲁夫斯的直觉主义是一种哲学。) (法语) Zbl 1440.03034号

Lepage,François(编辑)等人,《火锅危机:平息危机?蒙特利尔:Les Cahiers d'Ithaque。149-184 (2013).
PDF格式BibTeX公司 XML格式引用

卡纳普概率论的逻辑基础。(《概率分析逻辑》(La fondation logique des probabilityés chez Carnap) (法语) Zbl 1440.03017号

Lepage,François(编辑)等人,《火锅危机:平息危机?蒙特利尔:Les Cahiers d'Ithaque。65-84 (2013).
PDF格式BibTeX公司 XML格式引用

纪念艾伦·罗伯特·伍兹。 (英语) Zbl 1432.03120号

Cégielski,Patrick(编辑)等人,《弱算术的新研究》。加州斯坦福:CSLI出版物;巴黎:巴黎高等教育出版社。CSLI法律。附注211,15-31(2013)。
PDF格式BibTeX公司 XML格式引用

2012年9月29日至30日,巴西里约热内卢,第七届逻辑和语义框架及其应用研讨会论文集。 (英语) Zbl 1415.68033号

理论计算机科学电子论文集(EPTCS)113.滑铁卢:开放出版协会(OPA)。168页。,仅电子版,开放存取(2013年)。
MSC公司:68-06 03B70号 00B25型
PDF格式BibTeX公司 XML格式引用

基于原因的偏好的模态逻辑。 (英语) Zbl 1397.03024号

Tannen,Val(ed.)等人,在计算的理论和实践中寻求优雅。专为彼得·布内曼撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-41659-0/pbk;978-3-442-41660-6/电子书)。计算机科学课堂讲稿8000,516-541(2013)。
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

真理的本质。真理归属意义的更新方法。 (英语) Zbl 1384.00036号

逻辑、认识论与科学的统一29.多德雷赫特:施普林格(ISBN 978-94-007-4463-9/hbk;978-94-07-9327-9/pbk;988-94-007-2464-6/电子书)。x、 158页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

判断和逻辑的认识基础。 (英语) Zbl 1383.03008号

逻辑、认识论与科学的统一31.多德雷赫特:施普林格(ISBN 978-94-007-5136-1/hbk;978-94-07-9587-7/pbk;988-94-007-137-8/电子书)。xvii,第161页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关系代词的Frobenius解剖。 (英语) Zbl 1376.03028号

Kornai,András(编辑)等人,第13次语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-937284-65-7)。41-51 (2013).
MSC公司:03B65号
PDF格式BibTeX公司 XML格式引用
全文: 链接

划分时态和体的时间间隔。 (英语) Zbl 1376.03019号

Kornai,András(编辑)等人,第13次语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-937284-65-7)。30-40(2013年)。
MSC公司:03B44号 03B65号
PDF格式BibTeX公司 XML格式引用
全文: 链接

第十三届语言数学会议。会议记录,2013年8月9日,保加利亚索非亚,MoL 13。 (英语) Zbl 1376.68009号

宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-937284-65-7)。x、 103页。,开放存取(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

收敛到追逐——一种实现有限可控性的工具。 (英语) Zbl 1366.68034号

2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。540-549 (2013).
PDF格式BibTeX公司 XML格式引用

对装饰品的分类处理。 (英语) Zbl 1366.68021号

2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。530-539(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多元多态代数理论:句法、语义、翻译和等式逻辑。 (英语) Zbl 1433.03161号

2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。520-529 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Rabin-Mostowski指数问题:超越确定性自动机的一步。 (英语) Zbl 1366.68142号

2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2013,美国洛杉矶新奥尔良杜兰大学,2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。499-508 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

软件