×

找到3976个文档（结果1-100）

最新 引文 关联
邓雨欣;伊利亚诺·塞维萨托;罗伯特·西蒙斯。

线性逻辑和过程代数中的关联推理方法。 （英语） Zbl 1459.68139号

Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101，50-60（2012）。
MSC公司：第68季度85 第03页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，《电子》。程序。西奥。计算。科学。（EPTCS）101、50--60（2012；Zbl 1459.68139）
全文： arXiv公司 链接
佩德罗·巴尔塔扎尔;迪米特里斯·莫斯特鲁斯;Vasco T.瓦康塞洛斯。

线性优化会话类型。 （英语） Zbl 1459.68135号

Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101、38-49（2012）。
MSC公司：第68季度85 03B70号 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Baltazar}等人，《电子》。程序。西奥。计算。科学。（EPTCS）101、38--49（2012；Zbl 1459.68135）
全文： arXiv公司 链接
玛丽贝尔·费尔南德斯;塞巴斯蒂安·莫拉特

高阶port-graph重写。 （英语） Zbl 1459.68090号

Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101，25-37（2012）。
MSC公司：2012年第68季度 03B70号 2007年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fernández}和\textit{S.Maulat}，电子。程序。西奥。计算。科学。（EPTCS）101，25-37（2012；Zbl 1459.68090）
全文： arXiv公司 链接
尤根·吉雷什

通过通用规则扩展交互网络演算。 （英语） Zbl 1469.68070号

Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101，12-24（2012）。
MSC公司：第68季度85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Jiresch}，电子。程序。西奥。计算。科学。（EPTCS）101，12-24（2012；Zbl 1469.68070）
全文： arXiv公司 链接
中泽，Koji;胜本、新雅

非类型化演算的扩展模型。 （英语） Zbl 1459.68071号

Geuvers，Herman（编辑）等人，第四次经典逻辑和计算研讨会，英国沃里克，2012年7月8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）97，35-47（2012）。
MSC公司：2010年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Nakazawa}和\textit{S.-Y.Katsumata}，电子。程序。西奥。计算。科学。（EPTCS）97，35-47（2012；Zbl 1459.68071）
全文： arXiv公司 链接
曼弗雷德·库德莱克

关于通用有限自动机或下推自动机的存在性。 （英语） Zbl 1459.68105号

Kashefi，Elham（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）88、79-86（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kudlek}，电子。程序。西奥。计算。科学。（EPTCS）88，79--86（2012；Zbl 1459.68105）
全文： arXiv公司 链接
纳胡姆德肖维茨;叶夫根尼亚·法尔科维奇

扩展的Church-Turing论文的形式化和证明（扩展摘要）。 （英语） Zbl 1459.68060号

Kashefi，Elham（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）88，72-78（2012）。
MSC公司：04年第68季度 2009年第68季度 2010年第68季度 68周01
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}和\textit{E.Falkovich}，电子。程序。西奥。计算。科学。（EPTCS）88，72--78（2012；Zbl 1459.68060）
全文： arXiv公司 链接
纳胡姆德肖维茨

通用计算模型。 （英语） Zbl 1459.68059号

Kashefi，Elham（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）88、59-71（2012）。
MSC公司：04年第68季度 2009年第68季度 2010年第68季度 68周01
PDF格式BibTeX公司 XML格式引用
\textit{N.Dershowitz}，电子。程序。西奥。计算。科学。（EPTCS）88，59--71（2012；Zbl 1459.68059）
全文： arXiv公司 链接
利维奥·比奥利奥;Dezani Ciancaglini，马里亚焦拉;保拉·吉安尼尼;安吉洛·特洛伊娜

具有局部规则的循环序列的演算。 （英语） Zbl 1459.68088号

Kashefi，Elham（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）88、43-58（2012）。
MSC公司：2012年第68季度 92立方37
PDF格式BibTeX公司 XML格式引用
\textit{L.Bioglio}等人，《电子》。程序。西奥。计算。科学。（EPTCS）88，43-58（2012；Zbl 1459.68088）
全文： arXiv公司 链接
什切潘·汉梅尔

无歧义树语言在拓扑上比确定性语言更难。 （英语） Zbl 1459.68102号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96247-260（2012）。
MSC公司：65年第68季度 03E15年
PDF格式BibTeX公司 XML格式引用
\textit{S.Hummel}，电子。程序。西奥。计算。科学。（EPTCS）96，247--260（2012；Zbl 1459.68102）
全文： arXiv公司 链接
亚历克斯·克鲁克曼;萨沙·鲁宾;约翰·谢里丹;本·扎克斯

带建议的自动机Myhill-Nerode定理。 （英语） Zbl 1459.68104号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，238-246（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Kruckman｝等人，电子。程序。西奥。计算。科学。（EPTCS）96，238--246（2012；Zbl 1459.68104）
全文： arXiv公司 链接
帕里斯（Pawe Parys）

具有数据的高阶下推系统。 （英语） Zbl 1459.68107号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，210-223（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Parys}，电子。程序。西奥。计算。科学。（EPTCS）96、210--223（2012；Zbl 1459.68107）
全文： arXiv公司 链接
费利克斯·卡纳沃伊;埃里希·格拉德尔;罗马人拉比诺维奇

奇偶对策的离散策略改进算法和有向图的复杂性度量。 （英语） Zbl 1459.68081号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，197-209（2012）。
MSC公司：第68季度25 05C20号 05第57页 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{F.Canavoi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，197--209（2012；Zbl 1459.68081）
全文： 链接
丹尼尔·奈德;罗马人拉比诺维奇;马丁·齐默尔曼

沿着Borel层级：通过安全游戏解决Muller游戏。 （英语） 兹比尔1469.91015

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96169-182（2012）。
MSC公司：91A43型 91A05型 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，169--182（2012；Zbl 1469.91015）
全文： 链接
大卫·布雷索林;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科

强离散线性阶上的区间时间逻辑：完整的画面。 （英语） Zbl 1469.03045号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96、155-168（2012）。
MSC公司：03B44号 03B25号 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，155--168（2012；Zbl 1469.03045）
全文： arXiv公司 链接
里卡多·阿尔梅达;萨宾·布罗达;内尔玛·莫雷拉

用导数确定KAT和Hoare逻辑。 （英语） Zbl 1459.68040号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96127-140（2012）。
MSC公司：68号30 03B25号 03B70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Almeida}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96、127--140（2012；Zbl 1459.68040）
全文： arXiv公司 链接
阿列克桑达尔·迪莫夫斯基。

算法游戏语义的符号表示。 （英语） 兹比尔1459.68113

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，99-112（2012）。
MSC公司：68问题55 68甲15 65年第68季度 91A68型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛A.S.Dimovski｝，电子。程序。西奥。计算。科学。（EPTCS）96，99-112（2012；Zbl 1459.68113）
全文： arXiv公司 链接
亚历山德罗·索利曼多;乔治·德尔扎诺;乔瓦纳游击队

基于自动机的XML文档自适应静态分析。 （英语） Zbl 1459.68226号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，85-98（2012）。
MSC公司：68单位15 68第05页 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Solimando}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96、85--98（2012；Zbl 1459.68226）
全文： arXiv公司 链接
斯蒂芬·巴特;马丁·霍夫曼

通过SAT学习最小化Büchi自动机。 （英语） Zbl 1459.68094号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，71-84（2012）。
MSC公司：65年第68季度 第68季度32
PDF格式BibTeX公司 XML格式引用
\textit{S.Barth}和\textit{M.Hofmann}，电子。程序。西奥。计算。科学。（EPTCS）96，71--84（2012；Zbl 1459.68094）
全文： arXiv公司 链接
蔡、杨;张婷

不确定性有助于互补吗？ （英语） Zbl 1459.68096号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96、57-70（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Cai}和\textit{T.Zhang}，电子。程序。西奥。计算。科学。（EPTCS）96，57-70（2012；Zbl 1459.68096）
全文： arXiv公司 链接
马丁·兰格;艾蒂安·洛兹;曼纽尔·瓦尔加斯·古兹曼

模型检查过程等效性。 （英语） Zbl 1459.68120号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96、43-56（2012）。
MSC公司：60年第68季度 03B70号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Lange}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，43-56（2012；Zbl 1459.68120）
全文： 链接
Černý，帕沃尔;马丁·奇梅利克;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳

接口模拟距离。 （英语） Zbl 1459.68097号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，29-42（2012）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.乔恩}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，29-42（2012；Zbl 1459.68097）
全文： 链接
玛尔塔·卡皮鲁比;罗伯特·塞加拉

使用混合输入/输出自动机对多智能体系统中的隐式通信进行建模。 （英语） Zbl 1459.68214号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，1-14（2012）。
MSC公司：68T42型 65年第68季度 93甲16
PDF格式BibTeX公司 XML格式引用
\textit{M.Capiluppi}和\textit{R.Segala}，电子。程序。西奥。计算。科学。（EPTCS）96，1-14（2012；Zbl 1459.68214）
全文： arXiv公司 链接
Katsunobu Imai;高弘Hatsuda;维克托·波佩;佐藤，科塔

风筝和飞镖彭罗斯瓷砖上的通用半总体细胞自动机。 （英语） Zbl 1459.68129号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90267-278（2012年）。
MSC公司：68问题80 52C20个 52C23型 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{K.Imai}等人，《电子》。程序。西奥。计算。科学。（EPTCS）90267-278（2012年；兹bl 1459.68129）
全文： arXiv公司 链接
西蒙·沃克;更糟，托马斯

相空间可逆异步细胞自动机。 （英语） 兹比尔1459.68133

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，236-254（2012）。
MSC公司：68问题80 04年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Wacker}和\textit{T.Worsch}，电子。程序。西奥。计算。科学。（EPTCS）90，236--254（2012；Zbl 1459.68133）
全文： arXiv公司 链接
巴勃罗·阿里吉;尼古拉斯·沙巴内尔;他们是纪尧姆

随机细胞自动机之间的内在模拟。 （英语） Zbl 1459.68126号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，208-224（2012）。
MSC公司：68问题80 37B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.Arrighi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）90，208--224（2012；Zbl 1459.68126）
全文： arXiv公司 链接
马丁·库特里布;安德烈亚斯·马尔彻

由一维细胞自动机计算的转导。 （英语） Zbl 1459.68130号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90194-207（2012）。
MSC公司：68问题80
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，电子。程序。西奥。计算。科学。（EPTCS）90，194--207（2012；Zbl 1459.68130）
全文： arXiv公司 链接
阿娜·格兰德让;盖坦·理查德;Véronique梗

细胞自动机上的线性函数类。 （英语） Zbl 1459.68128号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会和第3届细胞自动化国际研讨会，科西嘉岛La Marana，2012年9月19日至21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90177-193（2012）。
MSC公司：68问题80
PDF格式BibTeX公司 XML格式引用
\textit｛A.Grandjean｝等人，电子。程序。西奥。计算。科学。（EPTCS）90，177--193（2012；Zbl 1459.68128）
全文： arXiv公司 链接
迈克尔·维尔哈伯

按时间顺序计算：异步细胞自动机。 （英语） Zbl 1459.68132号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，166-176（2012）。
MSC公司：68问题80 37B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Vielhaber}，电子。程序。西奥。计算。科学。（EPTCS）90，166--176（2012；Zbl 1459.68132）
全文： arXiv公司 链接
广岛乌米欧;基诺西实德;Kubo、Keisuke

一种用于多维细胞自动机的简单优化时间FSSP算法。 （英语） Zbl 1460.68069号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，151-165（2012）。
MSC公司：68问题80
PDF格式BibTeX公司 XML格式引用
\textit{H.Umeo}等人，《电子》。程序。西奥。计算。科学。（EPTCS）90，151--165（2012；Zbl 1460.68069）
全文： arXiv公司 链接
盛田贤一

一维可逆保数细胞自动机的普遍性。 （英语） 兹比尔1459.68131

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，142-150（2012）。
MSC公司：68问题80 37B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{K.Morita}，电子。程序。西奥。计算。科学。（EPTCS）90，142--150（2012；Zbl 1459.68131）
全文： arXiv公司 链接
亚历山大·沈;安德烈·罗马什琴科

Kolmogorov复杂性的拓扑参数。 （英语） Zbl 1459.68087号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，127-132（2012）。
MSC公司：68问题30
PDF格式BibTeX公司 XML格式引用
\textit{A.Shen}和\textit{A.Romashchenko}，电子。程序。西奥。计算。科学。（EPTCS）90，127--132（2012；Zbl 1459.68087）
全文： 链接
努尔，马蒂尔德;达米安·雷格诺;西尔万·塞内

布尔网络的同步灵敏度和异或循环网络的收敛时间。 （英语） Zbl 1459.68062号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90、37-52（2012）。
MSC公司：2006年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{M.Noual}等人，《电子》。程序。西奥。计算。科学。（EPTCS）90，37-52（2012；Zbl 1459.68062）
全文： arXiv公司 链接
乔瓦尼·皮奇奇尼

双向有限自动机：旧的和新的结果。 （英语） Zbl 1460.68051号

Formenti，Enrico（编辑），第18届细胞自动机和离散复杂系统国际研讨会，以及第3届国际研讨会Journées Automates Cellulaires，La Marana，Corsica，2012年9月19-21日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）90，3-20（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Pighizzini｝，电子。程序。西奥。计算。科学。（EPTCS）90，3--20（2012；Zbl 1460.68051）
全文： 链接
马克西姆·斯特里金;Hayo Thielecke

信号处理的操作语义。 （英语） Zbl 1459.68115号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，149-163（2012）。
MSC公司：68问题55 68N25号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Strygin}和\textit{H.Thielecke}，电子。程序。西奥。计算。科学。（EPTCS）89，149--163（2012；Zbl 1459.68115）
全文： arXiv公司 链接
斯蒂芬·门尼克

联合演算的操作Petri网语义。 （英语） Zbl 1459.68148号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，131-147（2012）。
MSC公司：第68季度85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Mennicke}，电子。程序。西奥。计算。科学。（EPTCS）89，131--147（2012；Zbl 1459.68148）
全文： arXiv公司 链接
李，马蒂亚斯·戴维;丹尼尔·格布勒;佩德罗·R·达吉尼奥。

具有否定和定量前提的概率转移系统规范中的树规则。 （英语） Zbl 1459.68147号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，115-130（2012）。
MSC公司：第68季度85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.D.Lee}等人，电子。程序。西奥。计算。科学。（EPTCS）89、115--130（2012；Zbl 1459.68147）
全文： arXiv公司 链接
彼得·霍夫曼;帕特里克·托茨克

基本并行过程的弱双相似性逼近。 （英语） Zbl 1459.68145号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，99-113（2012）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{P.Hofman}和\textit{P.Totzke}，电子。程序。西奥。计算。科学。（EPTCS）89，99-113（2012；Zbl 1459.68145）
全文： arXiv公司 链接
罗布·范格拉贝克

对编码和表达的沉思。 （英语） Zbl 1459.68149号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，81-98（2012）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，电子。程序。西奥。计算。科学。（EPTCS）89，81--98（2012；Zbl 1459.68149）
全文： arXiv公司 链接
马可·朱蒂;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。

在\（\pi\）-演算中隐藏和新建。 （英语） Zbl 1459.68029号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，65-79（2012）。
MSC公司：68平方米25 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Giunti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）89，65--79（2012；Zbl 1459.68029）
全文： arXiv公司 链接
马西耶·加兹达;Tim A.C.Willemse。

抽象中的表达性和完整性。 （英语） Zbl 1459.68119号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89、49-64（2012年）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Gazda}和\textit{T.A.C.Willemse}，电子。程序。西奥。计算。科学。（EPTCS）89，49--64（2012；Zbl 1459.68119）
全文： arXiv公司 链接
沃伊切赫，切尔文斯基;萨沃米尔·拉索塔

部分交换的上下文无关语言。 （英语） Zbl 1459.68099号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，35-48（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Czerwinn ski}和\textit{S.Lasota}，电子。程序。西奥。计算。科学。（EPTCS）89，35-48（2012；Zbl 1459.68099）
全文： arXiv公司 链接
杰拉德·布多尔;古斯塔沃·佩特里;伯纳德·塞尔佩特

放松并发编程语言的操作语义。 （英语） Zbl 1459.68110号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，19-33（2012）。
MSC公司：68问题55 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{G.Boudol}等人，《电子》。程序。西奥。计算。科学。（EPTCS）89，19-33（2012；Zbl 1459.68110）
全文： arXiv公司 链接
马塞洛·M·邦桑格。;斯特凡·米利厄斯;朱里安·罗特

关于系统理性行为的操作规范。 （英语） Zbl 1459.68124号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，3-18（2012）。
MSC公司：68问题65 18B20型 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Bonsangue}等人，《电子》。程序。西奥。计算。科学。（EPTCS）89，3--18（2012；Zbl 1459.68124）
全文： arXiv公司 链接
苏珊·斯蒂芬尼;维·肯登;彼得·海恩斯;安吉丽卡·塞博尔德

异类计算框架。 （英语） Zbl 1459.68069号

Jacobs，Bart（ed.）等人，第8届量子物理与逻辑国际研讨会，荷兰奈梅亨，2011年10月27-29日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）95263-273（2012）。
MSC公司：2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Stepney｝等人，电子。程序。西奥。计算。科学。（EPTCS）95，263--273（2012；Zbl 1459.68069）
全文： arXiv公司 链接
马可·贝尔纳多

并发过程的弱Markov互模拟同余和精确CTMC级聚合。 （英语） Zbl 1458.68129号

Wiklicky，Herbert（ed.）等人，2012年3月31日和4月1日，爱沙尼亚塔林，第十届编程语言和系统定量方面研讨会论文集。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，122-136（2012）。
MSC公司：第68季度85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，电子。程序。西奥。计算。科学。（EPTCS）85，122--136（2012；Zbl 1458.68129）
全文： arXiv公司 链接
卢卡·博托卢西;瓦实提·加尔平;简·希尔斯顿

机会主义网络的混合性能建模。 （英语） Zbl 1458.68026号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，106-121（2012）。
MSC公司：68米18 68平方米 第68季度85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）85、106--121（2012；Zbl 1458.68026）
全文： arXiv公司 链接
平藤安介（Yasuoka，Hirotoshi）;大雄县Terauchi

作为安全性和活性超属性的定量信息流。 （英语） Zbl 1458.68121号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，77-91（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Yasuoka｝和\textit｛T.Terauchi｝，电子。程序。西奥。计算。科学。（EPTCS）85，77--91（2012；Zbl 1458.68121）
全文： 链接
贝拉迪内利，F。;Gonzalez，P。;A.Lomuscio。

使用自动验证量子协议麦克马斯. （英语） Zbl 1458.68112号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，48-62（2012）。
MSC公司：60年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Belardinelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）85，48--62（2012；Zbl 1458.68112）
全文： arXiv公司 链接
科米·伯文斯（Elise Cormie-Bowins）;弗兰克·范·布鲁格尔

测量概率LTL模型检查的进度。 （英语） Zbl 1458.68116号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，33-47（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Cormie-Bowns}和\textit{F.van Breugel}，电子。程序。西奥。计算。科学。（EPTCS）85，33-47（2012；Zbl 1458.68116）
全文： arXiv公司 链接
塞尔吉奥·吉罗

定量模型检查精确解的有效计算。 （英语） Zbl 1458.68118号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，17-32（2012）。
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Giro}，电子。程序。西奥。计算。科学。（EPTCS）85，17-32（2012；Zbl 1458.68118）
全文： arXiv公司 链接
彼得·布利切夫;大卫，亚历山大;金·古斯特兰德·拉森;马吕斯·米库奇奥尼斯;波尔森，丹尼·博格斯特德;Legay、Axel;王，郑

Uppaal-smc公司：定价时间自动机的统计模型检查。 （英语） Zbl 1458.68114号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，1-16（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，《电子》。程序。西奥。计算。科学。（EPTCS）85，1--16（2012；Zbl 1458.68114）
全文： arXiv公司 链接
安德森·德阿劳约;马塞洛·芬格

经典和量子可满足性。 （英语） Zbl 1458.68072号

Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81、79-84（2012）。
MSC公司：第68季度25 03B70号 2012年第68季度 2015年第68季度 第81页第10页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.de Araújo}和\textit{M.Finger}，电子。程序。西奥。计算。科学。（EPTCS）81，79--84（2012；Zbl 1458.68072）
全文： arXiv公司 链接
安德烈亚·艾弗拉尔。;安德烈·加尔迪诺。;弗拉维奥·德·莫拉;毛里西奥·阿亚拉·林科恩

一阶最一般统一子存在定理的形式化。 （英语） Zbl 1458.68274号

Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81，63-78（2012）。
MSC公司：68V20型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Avelar}等人，《电子》。程序。西奥。计算。科学。（EPTCS）81、63--78（2012；Zbl 1458.68274）
全文： arXiv公司 链接
马丁·兰格;艾蒂安·洛兹

模型检查高维模态演算。 （英语） Zbl 1457.68166号

Miller，Dale（编辑）等人，第八届计算机科学不动点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，39-46（2012）。
MSC公司：60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Lange}和\textit{E.Lozes}，电子。程序。西奥。计算。科学。（EPTCS）77，39-46（2012；Zbl 1457.68166）
全文： arXiv公司 链接
安德烈·赫肖维茨;马可·马格西

增强签名的初始语义。 （英语） Zbl 1457.68049号

Miller，Dale（编辑）等人，第八届计算机科学不动点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，31-38（2012）。
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Hirschowitz}和\textit{M.Maggesi}，电子。程序。西奥。计算。科学。（EPTCS）77，31-38（2012；Zbl 1457.68049）
全文： arXiv公司 链接
卢卡·埃特罗;Anna Ingólfsdóttir

嵌套不动点关系的特征公式。 （英语） Zbl 1457.68153号

Miller，Dale（编辑）等人，第八届计算机科学不动点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，15-22（2012年）。
MSC公司：68问题55 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}和\textit{A.Ingólfsdóttir}，电子。程序。西奥。计算。科学。（EPTCS）77，15--22（2012；Zbl 1457.68153）
全文： arXiv公司 链接
沃特·斯威斯特拉

从数学到抽象机器：可执行Krivine机器的形式化推导。 （英语） Zbl 1457.68056号

Chapman，James（编辑）等人，《数学结构函数编程第四次研讨会论文集》，MSFP 2012，爱沙尼亚塔林，2012年3月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）76163-177（2012年）。
MSC公司：68甲18 68甲15 68N20型 04年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Swierstra}，电子。程序。西奥。计算。科学。（EPTCS）76163--177（2012；Zbl 1457.68056）
全文： arXiv公司 链接
何塞·佩德罗·马加莱斯;安德烈斯·勒赫

数据类型泛型编程方法的正式比较。 （英语） Zbl 1457.68052号

Chapman，James（编辑）等人，《数学结构函数编程第四次研讨会论文集》，MSFP 2012，爱沙尼亚塔林，2012年3月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）7650-67（2012年）。
MSC公司：68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Magalháes}和\textit{A.Löh}，电子。程序。西奥。计算。科学。（EPTCS）76，50--67（2012；Zbl 1457.68052）
全文： arXiv公司 链接
毛罗·贾斯克利奥夫;昂德雷杰·瑞帕克

对穿越规律的调查。 （英语） Zbl 1457.68050号

Chapman，James（编辑）等人，《数学结构函数编程第四次研讨会论文集》，MSFP 2012，爱沙尼亚塔林，2012年3月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）76，40-49（2012）。
MSC公司：68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaskelioff}和\textit{O.Rypacek}，电子。程序。西奥。计算。科学。（EPTCS）76，40-49（2012；Zbl 1457.68050）
全文： arXiv公司 链接
帕特里克·巴尔;汤姆·霍维特

参数化合成数据类型。 （英语） Zbl 1457.68044号

Chapman，James（编辑）等人，《数学结构函数编程第四次研讨会论文集》，MSFP 2012，爱沙尼亚塔林，2012年3月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）76，3-24（2012）。
MSC公司：68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{P.Bahr}和\textit{T.Hvitved}，电子。程序。西奥。计算。科学。（EPTCS）76，3-24（2012年；兹bl 1457.68044）
全文： arXiv公司 链接
卢西恩·卡普德维勒

PSPACE的一种类型系统，源自轻型线性逻辑。 （英语） Zbl 1457.68114号

Marion，Jean-Yves（编辑），第二次隐式计算复杂性发展研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）75，33-46（2012）。
MSC公司：2015年第68季度 03B40型 第03页 68甲18 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit｛L.Capdevielle｝，电子。程序。西奥。计算。科学。（EPTCS）75，33-46（2012；Zbl 1457.68114）
全文： arXiv公司 链接
克莱门·奥伯特

亚对数统一布尔证明网。 （英语） Zbl 1457.68113号

Jean-Yves Marion（编辑），隐式计算复杂性发展第二次研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）75，15-27（2012）。
MSC公司：2015年第68季度 第03页 2006年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，电子。程序。西奥。计算。科学。（EPTCS）75，15--27（2012；Zbl 1457.68113）
全文： arXiv公司 链接
丹尼尔·利万特;拉米亚，拉米亚

共导数据的隐含复杂性：共现的特征。 （英语） Zbl 1457.68064号

Jean-Yves Marion（编辑），隐式计算复杂性发展第二次研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）75，1-14（2012）。
MSC公司：68号30 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{D.Leivant}和\textit{R.Ramyaa}，电子。程序。西奥。计算。科学。（EPTCS）75，1-14（2012；Zbl 1457.68064）
全文： arXiv公司 链接
齐齐亚什维利，G.Sh。;A.S.洛舍夫。

具有高度可靠边的平面图的连通性。 （俄语。英文摘要） Zbl 1481.05083号

普里克尔。Diskretn公司。材料。 2012年，第3期（17），103-107（2012）.
MSC公司：05C40号 05年10月 05年40月 05C85号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Sh.Tsitsiashvili}和\textit{A.S.Losev}，Prikl。Diskretn公司。材料2012，第3号（17），103-107（2012；Zbl 1481.05083）
全文： MNR公司
埃勒姆·卡舍菲（编辑）;吉恩·克里文（编辑）;范·拉姆斯东克（Femke van Raamsdonk）（编辑）

2011年7月3日在瑞士苏黎世举行的第七届计算模型发展国际研讨会论文集。（第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。） （英语） Zbl 1445.68018号

理论计算机科学电子论文集（EPTCS）88.滑铁卢：开放出版协会（OPA）。第87页。，仅电子版，开放存取（2012年）。
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Kashefi}（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）（2012；Zbl 1445.68018）
全文： 内政部 arXiv公司 链接
雷内·蒂曼;纪尧姆·阿拉伊斯;朱利安·纳格尔

基于多集排序的终止技术的形式化。 （英语） Zbl 1437.68088号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 339-354 (2012).
MSC公司：2012年第68季度 2017年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}等人，LIPIcs——莱布尼茨国际程序。通知。15、339--354（2012；Zbl 1437.68088）
全文： 内政部
川崎捷瑞

语义评价；简单类型lambda演算的交集类型和复杂性。 （英语） 兹比尔1437.03054

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 323-338 (2012).
MSC公司：03B40型 2017年第68季度 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Terui}，LIPIcs——莱布尼茨国际程序。通知。15、323--338（2012；Zbl 1437.03054）
全文： 内政部
马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇

受法规约束的活动的改写框架。 （英语） Zbl 1437.68082号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 305-322 (2012).
MSC公司：2012年第68季度 第68季度25 68T20型 92 C50
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，LIPIcs——莱布尼茨国际程序。通知。15、305-322（2012；Zbl 1437.68082）
全文： 内政部
曼弗雷德·施密特·沙乌

压缩模式与字符变量的匹配。 （英语） 兹比尔1437.68209

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 272-287 (2012).
MSC公司：68瓦32 68页30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，LIPIcs——莱布尼茨国际程序。通知。15、272--287（2012；Zbl 1437.68209）
全文： 内政部
萨特勒，克里斯蒂安;巴列斯特列里，佛罗伦萨

多态流方程系统的图灵性。 （英语） Zbl 1437.68064号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 256-271 (2012).
MSC公司：2009年第68季度 2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{C.Sattler}和\textit{F.Balestrieri}，LIPIcs——莱布尼茨国际程序。通知。15、256--271（2012；Zbl 1437.68064）
全文： 内政部
文森特·范·奥斯特罗姆;汉斯·赞特马

重写中的三角剖分。 （英语） Zbl 1437.68089号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 240-255 (2012).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.van Oostrom}和\textit{H.Zantema}，LIPIcs——莱布尼茨国际程序。通知。15240-255（2012年；Zbl 1437.68089）
全文： 内政部
阿列克谢·利西萨

安全验证中的有限模型与树自动机。 （英语） Zbl 1437.68084号

Tiwari，Ashish（编辑），第23届重写技术与应用国际会议（RTA'12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 225-239 (2012).
MSC公司：2012年第68季度 03B10号机组 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Lisitsa｝，LIPIcs——莱布尼茨国际会议记录。通知。15225-239（2012年；Zbl 1437.68084）
全文： 内政部 arXiv公司
杰罗·凯特马

在无限重写中重新解释压缩。 （英语） Zbl 1437.68083号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 209-224 (2012).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ketema}，LIPIcs——莱布尼茨国际程序。通知。15、209--224（2012；Zbl 1437.68083）
全文： 内政部
卡尔·格梅纳;伯恩哈德·格拉姆利希;费利克斯·舍恩哈默

关于解确定性条件重写系统的稳健性条件。 （英语） Zbl 1437.68081号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 193-208 (2012).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Gmeiner}等人，LIPIcs——莱布尼茨国际程序。通知。15、193--208（2012；Zbl 1437.68081）
全文： 内政部
卡斯滕·福斯;辛西娅·科普

高阶重写的多项式解释。 （英语） Zbl 1437.68080号

Tiwari，Ashish（编辑），第23届重写技术与应用国际会议（RTA'12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 176-192 (2012).
MSC公司：2012年第68季度 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛C.Fuhs｝和\textit｛C.Kop｝，LIPIcs——莱布尼茨国际会议记录。通知。15、176--192（2012年；Zbl 1437.68080）
全文： 内政部 arXiv公司
伯特伦·费尔根豪尔

决定三次时间中地面项重写系统的汇合。 （英语） Zbl 1437.68079号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 165-175 (2012).
MSC公司：2012年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{B.Felgenhauer}，LIPIcs——莱布尼茨国际程序。通知。15、165--175（2012年；Zbl 1437.68079）
全文： 内政部
卡莱斯·克鲁斯;阿德里亚·加斯科;吉勒姆·戈多伊

与STG-压缩项的单上下文统一是NP。 （英语） Zbl 1437.68078号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 149-164 (2012).
MSC公司：2012年第68季度 68页30 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{C.Creus}等人，LIPIcs——莱布尼茨国际程序。通知。15、149--164（2012；Zbl 1437.68078）
全文： 内政部
Nathalie Bertrand;乔治·德尔扎诺;巴巴拉·科尼格;阿诺德·桑尼尔;一月，Stückrath

关于图变换系统中可达性和覆盖性的可判定状态。 （英语） Zbl 1437.68077号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 101-116 (2012).
MSC公司：2012年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛N.Bertrand｝等人，LIPIcs——莱布尼茨国际期刊。通知。15、101--116（2012；Zbl 1437.68077）
全文： 内政部
蒂鲍特·巴拉邦斯基

公理共享-通过标记。 （英语） 兹比尔1437.68076

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 85-100 (2012).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Balabonski}，LIPIcs——莱布尼茨国际程序。通知。15、85-100（2012；Zbl 1437.68076）
全文： 内政部
帕特里克·巴尔

无限项图重写简单、可靠、完整。 （英语） Zbl 1437.68075号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 69-84 (2012).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bahr}，LIPIcs——莱布尼茨国际程序。通知。15、69——84（2012；Zbl 1437.68075）
全文： 内政部
安徒生、索伦·比杰格;雅各布·格鲁·西蒙森

项重写系统是拓扑动力系统。 （英语） Zbl 1437.68074号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 53-68 (2012).
MSC公司：2012年第68季度 37B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.B.Andersen}和\textit{J.G.Simonsen}，LIPIcs——莱布尼茨国际程序。通知。15、53-68（2012年；Zbl 1437.68074）
全文： 内政部
奥萨马·哈萨尼;库拉图尔·阿因·马西萨尔;克劳迪奥·萨塞尔多蒂·科恩;沃尔克·索尔格

针对Kuratowski闭合补足问题的术语重写系统。 （英语） Zbl 1437.68073号

Tiwari，Ashish（编辑），第23届重写技术与应用国际会议（RTA'12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 38-52 (2012).
MSC公司：2012年第68季度 54A05型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛O.Al Hassani｝等人，LIPIcs——莱布尼茨国际期刊。通知。15、38——52（2012；Zbl 1437.68073）
全文： 内政部
贝尼亚米·阿卡托利

显式替换的抽象因式分解定理。 （英语） Zbl 1437.68038号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。15, 6-21 (2012).
MSC公司：68甲18 03B40型 第03页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}，LIPIcs——莱布尼茨国际程序。通知。15、6--21（2012；Zbl 1437.68038）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件