×

找到3777份文件（结果1-100）

最新的 引文 关联
安娜·卡斯普齐克

使用观察表学习剩余有限状态自动机。 （英语） Zbl 1456.68069号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31205-212（2010）。
MSC公司：第68季度32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kasprzik}，电子。程序。西奥。计算。科学。（EPTCS）31205--212（2010；Zbl 1456.68069）
全文： arXiv公司 链接
加琳娜·吉尔亚斯科娃;莫妮卡·克劳索娃

无前缀正则语言的复杂性。 （英语） Zbl 1455.68092号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（9月31日）197-204（2010年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Jirásková}和\textit{M.Krausová{电子。程序。西奥。计算。科学。（EPTCS）31197--204（2010；Zbl 1455.68092）
全文： arXiv公司 链接
Han、Yo-Sub;凯·萨洛马

无后缀正则语言的非确定性状态复杂性。 （英语） Zbl 1455.68091号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31189-196（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.-S.Han｝和\textit｛K.Salomaa｝，电子。程序。西奥。计算。科学。（EPTCS）3189--196（2010年；兹bl 1455.68091）
全文： arXiv公司 链接
比安卡·特鲁特

关于有限传播Lindenmayer系统的描述复杂性。 （英语） Zbl 1455.68080号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31177-188（2010）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Truthe}，电子。程序。西奥。计算。科学。（EPTCS）31177--188（2010；Zbl 1455.68080）
全文： arXiv公司 链接
波莉、罗尼;路德维希·施泰格

拟周期无限字的最大子字复杂度。 （英语） Zbl 1455.68155号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31169-176（2010）。
MSC公司：68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Polley}和\textit{L.Staiger}，电子。程序。西奥。计算。科学。（EPTCS）31169--176（2010；Zbl 1455.68155）
全文： arXiv公司 链接
朴晓雪;凯·萨洛马

不同类型的无等级自下而上树自动机之间的转换。 （英语） Zbl 1455.68096号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3159-168（2010年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Piao}和\textit{K.Salomaa}，电子。程序。西奥。计算。科学。（EPTCS）31159--168（2010；Zbl 1455.68096）
全文： arXiv公司 链接
朴晓雪;凯·萨洛马

确定性无秩树自动机的操作状态复杂性。 （英语） Zbl 1455.68095号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31149-158（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Piao}和\textit{K.Salomaa}，电子。程序。西奥。计算。科学。（EPTCS）31149-158（2010年；兹bl 1455.68095）
全文： arXiv公司 链接
内尔玛·莫雷拉;戴维·纳拜斯;罗杰里奥·里斯

状态消除排序策略：一些实验结果。 （英语） Zbl 1455.68094号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31139-148（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Moreira}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31139--148（2010；Zbl 1455.68094）
全文： arXiv公司 链接
Ondřej，克里马;波拉克，利比亚

语言的描述复杂性（KaL）：自动机、幺半群和变种。 （英语） Zbl 1455.68093号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31130-138（2010）。
MSC公司：65年第68季度 第68季度第70季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Klíma}和\textit{L.Polák}，电子。程序。西奥。计算。科学。（EPTCS）31、130--138（2010；Zbl 1455.68093）
全文： arXiv公司 链接
卡里、莉拉;阿芙罗莎·拉赫曼

用较少模板进行纤毛虫基因解读。 （英语） 兹比尔1455.68059

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31120-129（2010）。
MSC公司：2007年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Kari}和\textit{A.Rahman}，电子。程序。西奥。计算。科学。（EPTCS）31、120--129（2010；Zbl 1455.68059）
全文： arXiv公司 链接
马库斯·霍尔泽;塞巴斯蒂安·雅各比;马丁·库特里布

次区域语言族的幻数问题。 （英语） Zbl 1456.68088号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31110-119（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Holzer｝等人，电子。程序。西奥。计算。科学。（EPTCS）31110-119（2010年；兹bl 1456.68088）
全文： 链接
高，袁;凯·萨洛马;于盛

不完整DFA的转换复杂性。 （英语） Zbl 1455.68090号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，99-109（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Gao}等人，Electron。程序。西奥。计算。科学。（EPTCS）31，99--109（2010；Zbl 1455.68090）
全文： arXiv公司 链接
鲁道夫·弗伦德;玛丽安·科格勒;尤里·罗杰欣;谢尔盖·弗兰

图形控制插入-删除系统。 （英语） Zbl 1455.68078号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，88-98（2010）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Freund}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，88--98（2010；Zbl 1455.68078）
全文： arXiv公司 链接
佐尔坦·埃西克

用有限自动机表示小序数。 （英语） 兹比尔1455.68088

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，78-87（2010）。
MSC公司：65年第68季度 03E10年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.e-sik}，电子。程序。西奥。计算。科学。（EPTCS）31，78--87（2010；Zbl 1455.68088）
全文： arXiv公司 链接
尤根·达索;佛罗里达州马内亚

接受具有特殊拓扑和小型通信的进化处理器的混合网络。 （英语） Zbl 1455.68065号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，68-77（2010）。
MSC公司：2010年第68季度 2011年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Dassow｝和\textit｛F.Manea｝，电子。程序。西奥。计算。科学。（EPTCS）31，68–77（2010年；兹bl 1455.68065）
全文： arXiv公司 链接
崔波;高，袁;卡里、莉拉;于盛

与星形和反转相结合的链式的状态复杂性。 （英语） Zbl 1455.68086号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，58-67（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cui}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31、58--67（2010；Zbl 1455.68086）
全文： arXiv公司 链接
艾米莉·查利尔;Narad Rampersad公司;米歇尔·里戈;Laurent Waxweiler

测试可分性的状态复杂性。 （英语） Zbl 1455.68085号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，48-57（2010）。
MSC公司：65年第68季度 2016年11月
PDF格式BibTeX公司 XML格式引用
\textit{E.Charlier}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31、48--57（2010；Zbl 1455.68085）
全文： arXiv公司 链接
克里斯蒂安·卡鲁德。;凯·萨洛马;塔妮娅·罗布洛。

有限状态复杂度和传感器尺寸。 （英语） Zbl 1455.68084号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，38-47（2010）。
MSC公司：65年第68季度 第68季度30
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Calude}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，38-47（2010；Zbl 1455.68084）
全文： arXiv公司 链接
贾努斯·布尔佐夫斯基;李白玉;叶，尤利

关于布尔函数瞬时扩张求值的复杂性。 （英语） Zbl 1455.68056号

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，27-37（2010）。
MSC公司：2006年第68季度 2017年第68季度 94C11号机组 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Brzozowski}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，27-37（2010；Zbl 1455.68056）
全文： arXiv公司 链接
普尔泽米斯劳·普鲁辛基维茨;Mitra Shirmohammadi;法拉马茨·萨马瓦蒂

几何建模中的L系统。 （英语） 兹比尔1455.68232

McQuillan，Ian（编辑）等人，第十二届形式系统描述复杂性年度研讨会，加拿大萨斯卡通，2010年8月8日至10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31，3-14（2010）。
MSC公司：68单位05 65D07年 65D17号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Prusinkiewicz}等人，《电子》。程序。西奥。计算。科学。（EPTCS）31，3-4（2010；Zbl 1455.68232）
全文： 链接
柯斯汀·彼得斯;乌韦·内斯特曼

打破对称。 （英语） Zbl 1455.68127号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41136-150（2010年）。
MSC公司：68问题85 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}和\textit{U.Nestmann}，电子。程序。西奥。计算。科学。（EPTCS）41、136--150（2010；Zbl 1455.68127）
全文： arXiv公司 链接
拉塞·尼尔森;吉田、Nobuko;本田、高黑

多方对称和类型。 （英语） Zbl 1455.68126号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）4121-135（2010年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Nielsen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41、121--135（2010；Zbl 1455.68126）
全文： arXiv公司 链接
彼得·莫塞斯（Peter D.Mosses）。;穆罕默德·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

运算扩展下方程的稳健性。 （英语） Zbl 1455.68125号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，106-120（2010）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.D.Mosses}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41、106--120（2010；Zbl 1455.68125）
全文： arXiv公司 链接
加文·洛

具有可用性信息的CSP模型。 （英语） Zbl 1455.68124号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，91-105（2010）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Lowe}，电子。程序。西奥。计算。科学。（EPTCS）41，91--105（2010；Zbl 1455.68124）
全文： 链接
罗伯托·戈里埃里;克里斯蒂安·维萨里

表示有限位置/转移Petri网的过程演算。 （英语） Zbl 1455.68122号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、76-90（2010年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}和\textit{C.Versari}，电子。程序。西奥。计算。科学。（EPTCS）41、76--90（2010；Zbl 1455.68122）
全文： arXiv公司 链接
迭戈·菲格拉;彼得·霍夫曼;Sławomir拉索塔

关联定时自动机和寄存器自动机。 （英语） Zbl 1455.68089号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、61-75（2010年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Figueira}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41、61--75（2010；Zbl 1455.68089）
全文： 链接
乌戈·达尔拉戈;西蒙·马提尼;戴维·桑吉奥吉

轻逻辑和高阶过程。 （英语） Zbl 1455.68121号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、46-60（2010年）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛U.Dal Lago｝等人，电子。程序。西奥。计算。科学。（EPTCS）41、46--60（2010；Zbl 1455.68121）
全文： arXiv公司 链接
安德烈亚·塞隆;马修·轩尼诗

过程行为：公式与测试（扩展抽象）。 （英语） Zbl 1455.68120号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41、31-45（2010年）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cerone}和\textit{M.Hennessy}，电子。程序。西奥。计算。科学。（EPTCS）41，31-45（2010；Zbl 1455.68120）
全文： arXiv公司 链接
费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐

分离过程计算的标准。 （英语） Zbl 1455.68117号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，16-30（2010年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Banti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41，16--30（2010；Zbl 1455.68117）
全文： arXiv公司 链接
Jos C.M.巴滕。;巴斯·卢提克;蒂姆·穆勒;保罗·范蒂尔堡

具有并行组合的正则表达式的表示性模双相似性（扩展抽象）。 （英语） Zbl 1455.68083号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，1-15（2010）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41，1--15（2010；Zbl 1455.68083）
全文： 链接
瑟迪，雷诺;帕斯卡·奥布里

一种用于通用数据流过程网络验证和尺寸标注的线性规划方法。 （英语） 兹比尔1455.68129

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，115-119（2010）。
MSC公司：68问题85 60年第68季度 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{R.Sirdey}和\textit{P.Aubry}，电子。程序。西奥。计算。科学。（EPTCS）38，115--119（2010；Zbl 1455.68129）
全文： arXiv公司 链接
哈什·贝哈尔;Pieter Cuijpers先生

一种去同步闭环系统理论。 （英语） Zbl 1455.93005号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，99-114（2010）。
MSC公司：93甲13 68问题85 第93页第52页
PDF格式BibTeX公司 XML格式引用
\textit{H.Beohar}和\textit{P.Cuijpers}，电子。程序。西奥。计算。科学。（EPTCS）38，99--114（2010；Zbl 1455.93005）
全文： arXiv公司 链接
马蒂厄·莱梅尔;文森特·戴维;克里斯托弗·奥斯萨盖斯;盖伊·维达尔·纳奎特

时间约束自动机简介。 （英语） Zbl 1455.68038号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，83-98（2010）。
MSC公司：68平方米 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Lemerre}等人，《电子》。程序。西奥。计算。科学。（EPTCS）38，83--98（2010；Zbl 1455.68038）
全文： arXiv公司 链接
马西莫·巴托莱蒂;罗伯托·祖尼诺

基于契约的同步的基本体。 （英语） 兹比尔1456.68112

Bliudze，Simon（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，67-82（2010）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}和\textit{R.Zunino}，电子。程序。西奥。计算。科学。（EPTCS）38，67--82（2010；Zbl 1456.68112）
全文： arXiv公司 链接
伊万·拉内斯

静态与动态SAGA。 （英语） Zbl 1455.68123号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，51-65（2010）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}，电子。程序。西奥。计算。科学。（EPTCS）38，51--65（2010；Zbl 1455.68123）
全文： arXiv公司 链接
马尔科·卡博尼;瑟伦·德博伊斯

web服务中结构化通信进度的图形方法。 （英语） Zbl 1455.68119号

Bliudze，Simon（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，13-27（2010）。
MSC公司：68问题85 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Carbone}和\textit{S.Debois}，电子。程序。西奥。计算。科学。（EPTCS）38，13--27（2010；Zbl 1455.68119）
全文： arXiv公司 链接
克里斯蒂安·兰贝茨;米拉·卡德巴姆少校

组件系统死锁自由的端口协议。 （英语） Zbl 1455.68105号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38，7-11（2010年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Lambertz}和\textit{M.Majster-Cederbaum}，电子。程序。西奥。计算。科学。（EPTCS）38，7--11（2010；Zbl 1455.68105）
全文： arXiv公司 链接
Keiko Nakata;塔尔莫乌斯塔卢

带交互式I/O的While的恢复、弱双相似度和大步语义：混合归纳法练习。 （英语） Zbl 1455.68100号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，57-75（2010）。
MSC公司：68问题55 03B38型 68号30 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{K.Nakata}和\textit{T.Uustalu}，电子。程序。西奥。计算。科学。（EPTCS）32，57--75（2010；Zbl 1455.68100）
全文： arXiv公司 链接
Beohar，H。;Nadales Agut，D.E。;范·比克，D.A。;P.J.L.Cuijpers。

合成交换格式中的层次状态。 （英语） Zbl 1455.68097号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，42-56（2010）。
MSC公司：68问题55 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Beohar}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32，42-56（2010；Zbl 1455.68097）
全文： arXiv公司 链接
托拜厄斯·海因德尔

图形对象反应的结构分解。 （英语） Zbl 1455.68079号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，26-41（2010）。
MSC公司：2012年第68季度 18A30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Heindel}，电子。程序。西奥。计算。科学。（EPTCS）32，26-41（2010；Zbl 1455.68079）
全文： arXiv公司 链接
马西耶·加兹达;Wan Fokkink公司

从操作员的角度来看，一致性：过程语义的合成性要求。 （英语） 兹比尔1455.68099

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，15-25（2010年）。
MSC公司：68问题55 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Gazda}和\textit{W.Fokkink}，电子。程序。西奥。计算。科学。（EPTCS）32，15--25（2010；Zbl 1455.68099）
全文： arXiv公司 链接
伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;米盖尔·帕洛米诺

协变-逆变模拟的等式特征和一致性模拟语义。 （英语） Zbl 1455.68098号

Aceto，Luca（编辑）等人，《结构操作语义学第七次研讨会》，法国巴黎，2010年8月30日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32，1-14（2010）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Fábregas}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32，1--14（2010；Zbl 1455.68098）
全文： arXiv公司 链接
乌卡丘库·恩杜克武;安娜贝拉·麦克维尔

概率程序的谓词抽象和数据独立性的期望变换方法。 （英语） Zbl 1456.68027号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第28129-143页（2010年）。
MSC公司：68号30 60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{U.Ndukwu}和\textit{A.McIver}，电子。程序。西奥。计算。科学。（EPTCS）28、129--143（2010；Zbl 1456.68027）
全文： 链接
马蒂亚斯·古德曼;弗兰克·奥特米耶

基于概率模型的安全分析。 （英语） Zbl 1456.68017号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，114-128（2010）。
MSC公司：68米15 68号30 60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Güdemann}和\textit{F.Ortmier}，电子。程序。西奥。计算。科学。（EPTCS）28，114--128（2010；Zbl 1456.68017）
全文： 链接
索尼娅·乔治耶夫斯卡;苏珊娜·安多瓦

测试反应概率过程。 （英语） Zbl 1456.68118号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，99-113（2010）。
MSC公司：68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{S.Georgievska}和\textit{S.Andova}，电子。程序。西奥。计算。科学。（EPTCS）28，99-113（2010；Zbl 1456.68118）
全文： 链接
大卫·卡切拉;阿诺·乔宾

将抽象解释注入线性成本模型。 （英语） Zbl 1456.68026号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，64-81（2010）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Cachera}和\textit{A.Jobin}，电子。程序。西奥。计算。科学。（EPTCS）28，64-81（2010年；兹bl 1456.68026）
全文： 链接
亚历山德罗·比安科;马可·费拉;法比奥·莫加维罗;穆拉诺，阿尼洛

定量公平游戏。 （英语） Zbl 1456.68115号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，48-63（2010）。
MSC公司：68问题85 2017年第68季度 91A05型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bianco}等人，《电子》。程序。西奥。计算。科学。（EPTCS）28，48--63（2010；Zbl 1456.68115）
全文： 链接
达米安·巴索蒂;尼科拉斯·沃尔维克

通过随机变量抽象实现自动概率程序验证。 （英语） Zbl 1456.68025号

Di Pierro，Alessandra（ed.）等人，第八届编程语言定量方面研讨会论文集，塞浦路斯帕福斯，2010年3月27-28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，34-47（2010年）。
MSC公司：68号30 60年第68季度 68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{D.Barsotti}和\textit{N.Wolovick}，电子。程序。西奥。计算。科学。（EPTCS）28，34-47（2010；Zbl 1456.68025）
全文： 链接
卡琳·阿尔蒂森;刘燕红;马蒂厄·莫伊

使用实时演算和时间自动机之间基于粒度的接口对组件进行性能评估。 （英语） Zbl 1456.68018号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28、16-33（2010年）。
MSC公司：68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Altisen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）28，16-33（2010；Zbl 1456.68018）
全文： 链接
亚历山德罗·阿尔迪尼

基于时间、概率和观察到的行为的近似测试等效性。 （英语） Zbl 1456.68111号

Di Pierro，Alessandra（编辑）等人，第八届编程语言定量方面研讨会会议记录，塞浦路斯帕福斯，2010年3月27日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28，1-15（2010）。
MSC公司：68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{A.Aldini}，电子。程序。西奥。计算。科学。（EPTCS）28，1--15（2010；Zbl 1456.68111）
全文： 链接
卢卡斯·狄克逊;罗斯·邓肯;基辛格，亚历克斯

开放图和计算推理。 （英语） 兹比尔1456.68051

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26169-180（2010）。
MSC公司：2009年第68季度 2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Dixon}等人，《电子》。程序。西奥。计算。科学。（EPTCS）26，169--180（2010；Zbl 1456.68051）
全文： arXiv公司 链接
Younger，A.Steven;瑞德，埃米特

通过基于物理的光学神经网络进行计算。 （英语） Zbl 1456.68049号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，159-167（2010）。
MSC公司：2007年第68季度 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Younger}和\textit{E.Redd}，电子。程序。西奥。计算。科学。（EPTCS）26，159--167（2010；Zbl 1456.68049）
全文： 链接
Terrazas，德语;达里奥·兰达·席尔瓦;纳塔利奥·克拉斯诺戈尔

通过自组装实现启发式设计。 （英语） Zbl 1456.68183号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，135-146（2010）。
MSC公司：68T20型 2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Terrazas}等人，《电子》。程序。西奥。计算。科学。（EPTCS）26，135--146（2010；Zbl 1456.68183）
全文： 链接
多米尼克·F·弗洛斯。;埃里卡·安德森;马克·希勒里

用于测试布尔函数的量子算法。 （英语） 兹比尔1456.68055

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，101-108（2010）。
MSC公司：2012年第68季度 第68季度32 94C11号机组 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.F.Floess}等人，《电子》。程序。西奥。计算。科学。（EPTCS）26，101--108（2010；Zbl 1456.68055）
全文： 链接
文森特·达诺斯;尼古拉斯·欧里

平衡和终止。 （英语） Zbl 1456.68071号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，75-84（2010）。
MSC公司：2012年第68季度 60J27型
PDF格式BibTeX公司 XML格式引用
\textit{V.Danos}和\textit{N.Oury}，电子。程序。西奥。计算。科学。（EPTCS）26，75--84（2010；Zbl 1456.68071）
全文： 链接
詹姆斯·切尼

因果关系和起源的语义。 （英语） Zbl 1456.68093号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，63-74（2010）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.切尼}，电子。程序。西奥。计算。科学。（EPTCS）26、63--74（2010；Zbl 1456.68093）
全文： 链接
卢卡·卡德利

双域DNA链置换。 （英语） Zbl 1456.68040号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，47-61（2010）。
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}，电子。程序。西奥。计算。科学。（EPTCS）26，47--61（2010；Zbl 1456.68040）
全文： 链接
米克洛斯·巴塔

图灵自动机和图形机。 （英语） Zbl 1456.18004号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26、19-31（2010年）。
MSC公司：18B20型 2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartha}，电子。程序。西奥。计算。科学。（EPTCS）26、19--31（2010；Zbl 1456.18004）
全文： 链接
阿拉斯泰尔·艾博特（Alastair A.Abbott）。;克里斯蒂安·卡鲁德。

通过去量化了解量子计算加速。 （英语） Zbl 1459.81027号

Cooper，S.Barry（编辑）等人，《计算模型发展第六次研讨会论文集：因果关系、计算和物理》，DCM 2010，苏格兰爱丁堡，2010年7月9日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）26，1-12（2010）。
MSC公司：81页68 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Abbott}和\textit{C.S.Calude}，电子。程序。西奥。计算。科学。（EPTCS）26，1--12（2010；Zbl 1459.81027）
全文： 链接
马可·贝尔纳多

关于马尔科夫过程计算的持续性和无持续性行为的表达。 （英语） Zbl 1456.68114号

Montanari，Angelo（编辑）等人，第一次关于游戏、自动机、逻辑和形式验证的研讨会，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2199-213（2010年）。
MSC公司：68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，电子。程序。西奥。计算。科学。（EPTCS）25，199--213（2010；Zbl 1456.68114）
全文： 链接
克里斯蒂安·阿波德

有效的对称约简和使用状态对称进行符号模型检查。 （英语） Zbl 1456.68094号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25173-187（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Appold}，电子。程序。西奥。计算。科学。（EPTCS）25173--187（2010；Zbl 1456.68094）
全文： 链接
约翰·费恩利;马丁·齐默尔曼

匆忙地玩穆勒游戏。 （英语） Zbl 1456.91025号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25146-161（2010）。
MSC公司：91A24型 65年第68季度 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}和\textit{M.Zimmermann}，电子。程序。西奥。计算。科学。（EPTCS）25、146--161（2010；Zbl 1456.91025）
全文： 链接
奥利弗·弗里德曼;马丁·兰格

对等博弈求解的局部策略改进。 （英语） Zbl 1456.68098号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25118-131（2010）。
MSC公司：60年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛O.Friedmann｝和\textit｛M.Lange｝，电子。程序。西奥。计算。科学。（EPTCS）25118--131（2010；Zbl 1456.68098）
全文： 链接
柯特林·迪马;康斯坦丁·埃纳;迪米塔尔·盖列夫

用知识、不完美信息、完美回忆和交流联盟对交替时间逻辑进行建模检查。 （英语） Zbl 1456.68097号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25103-117（2010）。
MSC公司：60年第68季度 03B44号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.Dima}等人，《电子》。程序。西奥。计算。科学。（EPTCS）25，103--117（2010；Zbl 1456.68097）
全文： 链接
安德烈亚斯·莫根斯顿;克劳斯·施耐德

利用时序逻辑层次和非通量特性实现高效的LTL综合。 （英语） Zbl 1456.68099号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2589-102（2010年）。
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Morgenstern}和\textit{K.Schneider}，电子。程序。西奥。计算。科学。（EPTCS）25，89--102（2010；Zbl 1456.68099）
全文： 链接
托马斯·斯坦克;拉泽什·赛努丁

使用复数区间算法对Schönhage-Strassen整数乘法算法进行了严格扩展。 （英语） Zbl 1456.68232号

郑锡忠（编辑）等，第七届分析中的可计算性和复杂性国际会议，中国镇江，2010年6月21日至25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24，151-159（2010）。
MSC公司：68瓦30 2016年11月 65G30型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Steinke}和\textit{R.Sainudiin}，电子。程序。西奥。计算。科学。（EPTCS）24，151--159（2010；Zbl 1456.68232）
全文： 链接
沈玉萍;赵西顺

NP-逻辑系统和模型等效性降低。 （英语） Zbl 1456.68060号

Zheng，Xizhong（ed.）等人，第七届分析可计算性和复杂性国际会议，中国镇江，2010年6月21-25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24130-138（2010年）。
MSC公司：65年第68季度 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Shen}和\textit{X.Zhao}，电子。程序。西奥。计算。科学。（EPTCS）24，130--138（2010；Zbl 1456.68060）
全文： 链接
穆勒，诺伯特·瑟。;玛格丽塔·科洛维纳

在轨道上迈出重要一步。 （英语） Zbl 1456.65049号

郑锡忠（编辑）等，第七届分析中的可计算性和复杂性国际会议，中国镇江，2010年6月21日至25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24，106-119（2010）。
MSC公司：65升05 65G20个 65年第68季度 68周25
PDF格式BibTeX公司 XML格式引用
\textit{N.Th.Müller}和\textit{M.Korovina}，电子。程序。西奥。计算。科学。（EPTCS）24，106--119（2010；Zbl 1456.65049）
全文： 链接
吕殿晨;王青燕;郑瑞

用图灵机计算组合Korteweg-de-Vries方程的解。 （英语） Zbl 1456.35181号

郑锡忠（编辑）等，第七届分析中的可计算性和复杂性国际会议，中国镇江，2010年6月21日至25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24，101-105（2010）。
MSC公司：第35季度53 03日第10天 03D78号 04年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Lu}等人，《电子》。程序。西奥。计算。科学。（EPTCS）24，101--105（2010；Zbl 1456.35181）
全文： 链接
瓦斯科·布拉特卡;阿诺·保利

建议计算。 （英语） Zbl 1456.03065号

郑锡忠（编辑）等，第七届分析中的可计算性和复杂性国际会议，中国镇江，2010年6月21日至25日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）24，41-55（2010）。
MSC公司：03D78号 03D45号 2015年3月1日 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}和\textit{A.Pauly}，电子。程序。西奥。计算。科学。（EPTCS）24，41-55（2010年；兹bl 1456.03065）
全文： 链接
玛丽贝尔·费尔南德斯;尼古拉斯·西亚法卡斯

标签\（\lambda\）-calculi，带显式复制和擦除。 （英语） Zbl 1454.68021号

Florido，Mário（编辑）等人，第一届线性国际研讨会论文集，葡萄牙科英布拉，2009年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22，49-64（2010）。
MSC公司：68甲18 03B40型 03楼52 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fernández}和\textit{N.Siafakas}，电子。程序。西奥。计算。科学。（EPTCS）22、49--64（2010；Zbl 1454.68021）
全文： 链接
埃德斯科·德·弗里斯;阿德里安·弗兰卡兰扎;马修·轩尼诗

消息传递并发中用于资源管理的唯一性类型。 （英语） Zbl 1454.68075号

Florido，Mário（编辑）等人，第一届线性国际研讨会论文集，葡萄牙科英布拉，2009年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22，26-37（2010）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.De Vries}等人，《电子》。程序。西奥。计算。科学。（EPTCS）22，26-37（2010；Zbl 1454.68075）
全文： 链接
保罗·托里尼;瑞科·赫克尔

用于图转换的资源边界量化。 （英语） Zbl 1454.68062号

Florido，Mário（编辑）等人，第一届线性国际研讨会论文集，葡萄牙科英布拉，2009年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（9月22日），14-25（2010年）。
MSC公司：2012年第68季度 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{P.Torrini}和\textit{R.Heckel}，电子。程序。西奥。计算。科学。（EPTCS）22，14-25（2010；Zbl 1454.68062）
全文： 链接
米歇尔·雷尼尔斯（Michel A.Reniers）。;Tim A.C.Willemse。

通过结构图分析布尔方程组。 （英语） Zbl 1454.68066号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，92-107（2010）。
MSC公司：60年第68季度 05年3月 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.A.Reniers｝和\textit｛T.A.C.Willemse｝，Electron。程序。西奥。计算。科学。（EPTCS）1892-107（2010年；兹bl 1454.68066）
全文： 链接
Gilles Dowek;塞萨尔·穆尼奥斯;卡米洛·罗查

重写计划执行语言的逻辑语义。 （英语） Zbl 1454.68064号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，77-91（2010）。
MSC公司：68问题55 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}等人，《电子》。程序。西奥。计算。科学。（EPTCS）18，77--91（2010；Zbl 1454.68064）
全文： 链接
伊恩·菲利普斯;伊雷克·乌利多夫斯基

稳定配置结构上的反向互模拟。 （英语） Zbl 1454.68081号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，62-76（2010）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.Phillips}和\textit{I.Ulidowski}，电子。程序。西奥。计算。科学。（EPTCS）18，62--76（2010；Zbl 1454.68081）
全文： 链接
菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜

在反应系统中的倒钩和标签上。 （英语） Zbl 1454.68072号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，46-61（2010）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）18，46--61（2010；Zbl 1454.68072）
全文： 链接
穆罕默德·礼萨穆萨维

Esterel语义中的因果关系（重温）。 （英语） Zbl 1454.68020号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，32-45（2010）。
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.R.穆萨维}，电子。程序。西奥。计算。科学。（EPTCS）18，32--45（2010；Zbl 1454.68020）
全文： 链接
马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗

psi-calculi的完全抽象符号语义。 （英语） Zbl 1454.68076号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第18、17-31页（2010年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Johansson}等人，《电子》。程序。西奥。计算。科学。（EPTCS）18，17--31（2010；Zbl 1454.68076）
全文： 链接
卢卡·埃特罗;Cimini，马泰奥;安娜·英格尔夫斯多蒂

一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 （英语） Zbl 1454.68071号

Klin，Bartek（编辑）等人，《结构操作语义学第六次研讨会》，意大利博洛尼亚，2009年8月31日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）18，1-16（2010）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《电子》。程序。西奥。计算。科学。（EPTCS）18，1--16（2010；Zbl 1454.68071）
全文： 链接
努鲁蒂诺娃，A.R。;沙拉金，S.V。

基于自动机马尔可夫模型生成的序列的多参数分类。 （俄语。英文摘要） Zbl 1472.68107号

普里克尔。Diskretn公司。材料。 2010年，第4（10）、41-54（2010）号.
MSC公司：第68季度87 15B51号 60J20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.R.Nuruttinova｝和\textit｛S.V.Shalagin｝，Prikl。Diskretn公司。2010年材料，第4（10）、41-54号（2010年；兹bl 1472.68107）
全文： MNR公司
O.L.班德曼。;Gromilov，S.A.公司。;Kinelovskiĭ，南非。

累积合成：通过颗粒累积流动形成靶涂层的细胞自生模型。 （俄语。英文摘要） Zbl 1481.74524号

普里克尔。Diskretn公司。材料。 2010年，第3（9）、111-120（2010）号.
MSC公司：74K35型 74人60人 74-10 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{O.L.Bandman}等人，Prikl。Diskretn公司。材料2010，编号3（9），111-120（2010；Zbl 1481.74524）
全文： MNR公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件