×

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

最新的 引文 关联
史蒂夫·兹丹塞维奇

用于鲁棒解密的类型系统。 （英语） Zbl 1337.68078号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83263-277，仅电子版（2003）。
MSC公司：68号30 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{S.Zdancewic}，电子。注释Theor。计算。科学。83、263--277（2003年；Zbl 1337.68078）
全文： 内政部
阿努帕姆·达塔；安特·德里克；约翰·米切尔（John C.Mitchell）。；达斯科·巴甫洛维奇

安全协议组成。 （英语） Zbl 1337.68065号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83201-226，仅电子版（2003）。
MSC公司：68号30 第68页第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Datta}等人，《电子》。注释Theor。计算。科学。83、201——226（2003年；Zbl 1337.68065）
全文： 内政部
拉杜·内格列斯库

异步接口的不完整规范上的通用转换。 （英语） Zbl 1337.68169号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，187-200，仅电子版（2003）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.Negulescu｝，电子。注释Theor。计算。科学。83、187--200（2003年；Zbl 1337.68169）
全文： 内政部
马修·轩尼诗

安全微积分和不干涉（扩展抽象）。 （英语） Zbl 1337.68183号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，113-129，仅电子版（2003）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hennessy}，电子。注释Theor。计算。科学。83113-129（2003年；兹bl 1337.68183）
全文： 内政部
穆拉德·德巴比；穆罕默德·梅杰里

确保安全协议的正确性。 （英语） Zbl 1337.68066号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，55-98，仅电子版（2003）。
MSC公司：68号30 第68页第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Debbabi}和\textit{M.Mejri}，电子。注释Theor。计算。科学。83，55-98（2003年；兹bl 1337.68066）
全文： 内政部
史蒂文·布鲁克斯（编辑）

2003年3月19日至22日，加拿大蒙特利尔，第19届编程语义数学基础会议论文集。 （英语） Zbl 1325.68013号

理论计算机科学电子笔记83.阿姆斯特丹：爱思唯尔。ii，302页。，仅电子版（2003年）。
MSC公司：68-06 68号30 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Brookes}（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：Elsevier（2003；Zbl 1325.68013）
全文： 链接
Chandrasekhar Boyapati；芭芭拉·利斯科夫；Shrra，刘巴

对象封装的所有权类型。 （英语） Zbl 1321.68166号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。213-223 (2003).
MSC公司：68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Boyapati}等人，《第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。213--223（2003；Zbl 1321.68166）
全文： 内政部
陈刚

结构演算的强制子类型（扩展抽象）。 （英语） Zbl 1321.68143号

第30届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’03，美国洛杉矶新奥尔良，2003年1月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。150-159 (2003).
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Chen}，in：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。150-159（2003；Zbl 1321.68143）
全文： 内政部
Chakaravarthy，Venkatesan T。

关于分析点的可计算性和复杂性的新结果。 （英语） 兹比尔1321.68178

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。115-125 (2003).
MSC公司：第68页第20页 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.T.Chakaravarthy}，in：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。115-125（2003年；Zbl 1321.68178）
全文： 内政部
卡特，拉里；珍妮·费兰特；克拉克·汤博森

民间传说证实：可还原流图呈指数级放大。 （英语） Zbl 1321.68187号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。106-114 (2003).
MSC公司：68号30 05C21号 第68页第20页 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Carter}等人，《第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。106-114（2003；Zbl 1321.68187）
全文： 内政部
苏米特·古尔瓦尼；Necula，George C。

使用随机解释发现仿射等式。 （英语） 兹比尔1321.68490

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。74-84 (2003).
MSC公司：68瓦20 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Gulwani}和\textit{G.C.Necula}，摘自：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。74-84（2003年；Zbl 1321.68490）
全文： 内政部
艾哈迈德·博阿贾尼；哈维尔·埃斯帕尔扎；泰瑟·图利

对带有过程的并发程序进行静态分析的一种通用方法。 （英语） Zbl 1321.68185号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。62-73 (2003).
MSC公司：68号30 68甲19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，in：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。62-73（2003年；Zbl 1321.68185）
全文： 内政部
陈赤燕；席宏伟

通过类型化代码表示进行元编程。 （英语） Zbl 1315.68038号

第八届ACM SIGPLAN功能编程国际会议记录，ICFP'03，乌普萨拉，瑞典，2003年8月25-29日。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-756-7）。ACM SIGPLAN通知38，第9号，275-286（2003）。
MSC公司：68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Chen}和\textit{H.Xi}，《第八届ACM-SIGPLAN函数式编程国际会议论文集》，ICFP'03，瑞典乌普萨拉，2003年8月25-29日。纽约州纽约市：计算机协会（ACM）。275-286（2003年；兹bl 1315.68038）
全文： 内政部
Yukiyoshi县Kameyama；长谷川、Masahito

一个合理而完整的定界延续公理化。 （英语） Zbl 1315.68098号

第八届ACM SIGPLAN功能编程国际会议记录，ICFP'03，乌普萨拉，瑞典，2003年8月25-29日。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-756-7）。ACM SIGPLAN通知38，第9号，177-188（2003）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kameyama}和\textit{M.Hasegawa}，in：第八届ACM SIGPLAN函数编程国际会议论文集，ICFP'03，瑞典乌普萨拉，2003年8月25-29日。纽约州纽约市：计算机协会（ACM）。177-188（2003年；Zbl 1315.68098）
全文： 内政部
詹皮埃罗·卡波迪；塞尔吉奥·诺科；斯特凡诺·奎尔；亚历克斯·孔德拉蒂耶夫；卢西亚诺·拉瓦尼奥；渡边洋里

高约束硬件系统中调度问题的BMC公式。 （英语） Zbl 1271.68171号

斯特里赫曼，Ofer（编辑）等人，BMC’2003。第一届有界模型检验国际研讨会论文集，美国科罗拉多州博尔德市，2003年7月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第4期，623-638（2003）。
MSC公司：68问题85 68平方米 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Cabodi}等人，《电子》。注释Theor。计算。科学。89，第4号，623--638（2003；Zbl 1271.68171）
全文： 链接
李冰；王超；法比奥·萨蒙齐

模型检查中基于可满足性的抽象求精方法。 （英语） Zbl 1271.68143号

Strichman，Ofer（编辑）等人，BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第4期，608-622（2003）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Li}等人，《电子》。注释Theor。计算。科学。89，第4号，608--622（2003；Zbl 1271.68143）
全文： 链接
苏拉布·卡西达什维利；齐亚德·汉娜

基于SAT的无同步时序硬件等效性验证方法。 （英语） Zbl 1271.68139号

斯特里赫曼，Ofer（编辑）等人，BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第4期，593-607（2003）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Khasidashvili}和\textit{Z.Hanna}，电子。注释Theor。计算。科学。89，第4号，593--607（2003；Zbl 1271.68139）
全文： 链接
马杜苏丹，P。；南黄弘；拉杰夫·阿鲁尔

解决游戏的符号计算技术。 （英语） Zbl 1271.68144号

斯特里赫曼，Ofer（编辑）等人，BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第4期，578-592（2003）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Madhusudan}等人，《电子》。注释Theor。计算。科学。89，第4号，578--592（2003；Zbl 1271.68144）
全文： 链接
托尼·尤西拉；凯乔·赫尔扬科；伊尔卡·尼梅尔

BMC通过现场测定。 （英语） Zbl 1271.68138号

斯特里赫曼，Ofer（编辑）等人，BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第4期，561-577（2003）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Jussila}等人，《电子》。注释Theor。计算。科学。89，第4号，561--577（2003；Zbl 1271.68138）
全文： 链接
尼古拉斯·埃恩；尼古拉斯·Sörensson

通过增量SAT求解进行时间归纳。 （英语） Zbl 1271.68215号

斯特里赫曼，Ofer（编辑）等人，BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第4期，543-560（2003）。
MSC公司：68T20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.EéN}和\textit{N.Sörensson}，电子。注释Theor。计算。科学。89，第4号，543--560（2003；Zbl 1271.68215）
全文： 链接
科马克·弗拉纳根；沙兹·卡迪尔

软件模型检查事务。 （英语） Zbl 1271.68086号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，518-539（2003）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Flanagan}和\textit{S.Qadeer}，电子。注释Theor。计算。科学。89，第3号，518--539（2003；Zbl 1271.68086）
全文： 链接
罗比；马修·德怀尔。；约翰·哈特克利夫；拉杜·奥西夫

模型检查动态软件的空间缩减策略。 （英语） Zbl 1271.68097号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，499-517（2003）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Robby}等人，《电子》。注释Theor。计算。科学。89，第3号，499--517（2003；Zbl 1271.68097）
全文： 链接
弗拉维奥·勒尔达；尼尚·辛哈；迈克尔·西奥博尔德

软件的符号模型检查。 （英语） Zbl 1271.68092号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，480-498（2003）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Lerda}等人，《电子》。注释Theor。计算。科学。89，第3号，480--498（2003；Zbl 1271.68092）
全文： 链接
艾苏贝汀坎；特夫菲克·布尔坦

基于接口的并发控制器规范和验证。 （英语） Zbl 1271.68132号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，464-479（2003）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Betin-Can}和\textit{T.Bultan}，电子。注释Theor。计算。科学。89，第3号，464--479（2003；Zbl 1271.68132）
全文： 链接
埃兰·雅哈夫；穆利·萨吉夫

自动验证并发队列算法。 （英语） Zbl 1271.68147号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，450-463（2003）。
MSC公司：60年第68季度 68问题85 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{E.Yahav}和\textit{M.Sagiv}，电子。注释Theor。计算。科学。89，第3号，450-463（2003；Zbl 1271.68147）
全文： 链接
萨加·查基；约尔·瓦克宁；Karen约拉夫；埃德蒙·克拉克

并发C程序的自动组合抽象细化：一种两级方法。 （英语） Zbl 1271.68081号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，417-432（2003）。
MSC公司：68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，《电子》。注释Theor。计算。科学。89，No.3，417--432（2003；Zbl 1271.68081）
全文： 链接
亲爱的，丹尼斯

比较抽象求精算法。 （英语） 兹比尔1271.68085

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，405-416（2003）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Dams}，电子。注释Theor。计算。科学。89，编号3405-416（2003年；兹bl 1271.68085）
全文： 链接
马丹拉尔·穆苏瓦蒂；道森·恩格尔

使用静态分析和软件模型检查查找错误的一些经验教训。 （英语） Zbl 1271.68094号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记89，第3期，378-404（2003）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Musuvathi}和\textit{D.Engler}，电子。注释Theor。计算。科学。89，第3号，378--404（2003；Zbl 1271.68094）
全文： 链接
斯特凡·布隆；西蒙娜·奥尔赞

状态空间的分布式分支互模拟约简。 （英语） Zbl 1271.68133号

Sokolsky，Oleg（编辑）等人，PDMC 2003。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检验国际研讨会（CAV’03卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第1期，99-113（2003）。
MSC公司：60年第68季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit｛S.Blom｝和\textit｛S.Orzan｝，电子。注释Theor。计算。科学。89，第1号，99-113（2003；Zbl 1271.68133）
全文： 链接
希曼特库马尔·西瓦拉吉；加内什·戈帕拉克里什南

用于分布式内存模型检查的基于随机行走的启发式算法。 （英语） Zbl 1271.68145号

Sokolsky，Oleg（编辑）等人，PDMC 2003。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检验国际研讨会（CAV’03卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第1期，51-67（2003）。
MSC公司：60年第68季度 68T20型 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{H.Sivaraj}和\textit{G.Gopalakrishnan}，电子。注释Theor。计算。科学。89，第1号，51--67（2003；Zbl 1271.68145）
全文： 链接
帕维尔·克查尔

分布式显式有界LTL模型检查。 （英语） Zbl 1271.68141号

Sokolsky，Oleg（编辑）等人，PDMC 2003。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检验国际研讨会（CAV’03卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第1期，33-50（2003）。
MSC公司：60年第68季度 68宽15 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{P.Král}，电子。注释Theor。计算。科学。89，第1号，33--50（2003；Zbl 1271.68141）
全文： 链接
卢博什·布里姆；吉特卡·谢迪科娃

使用假设来分布无交互{\（\mu\）}演算模型检查。 （英语） Zbl 1271.68134号

Sokolsky，Oleg（编辑）等人，PDMC 2003。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检验国际研讨会（CAV’03卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第1期，17-32（2003）。
MSC公司：60年第68季度 65年第68季度 68问题55 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{L.Brim}和\textit{J.寨德科瓦}，《电子》。注释Theor。计算。科学。89，编号1，17--32（2003；Zbl 1271.68134）
全文： 链接
马丁·勒克；拉斐尔·索姆拉；迈克尔·韦伯

并行模型检查长期贷款,细胞毒性淋巴细胞\（^*\）和（L^2_{mu}\）。 （英语） Zbl 1271.68142号

Sokolsky，Oleg（编辑）等人，PDMC 2003。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检验国际研讨会（CAV’03卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第1期，第4-16页（2003年）。
MSC公司：60年第68季度 03B44号 68宽10
PDF格式BibTeX公司 XML格式引用
\textit｛M.Leucker｝等人，电子。注释Theor。计算。科学。89，编号1，4--16（2003；Zbl 1271.68142）
全文： 链接
苏拉布·卡西达什维利；约翰·格劳特

优化实现的抽象概念。 （英语） Zbl 1270.68129号

Gramlich，Bernhard（编辑）等人，WRS 2003。2003年6月8日，西班牙巴伦西亚，第三届改写和编程减少策略国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第4期，689-713（2003）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Khasidashvili}和\textit{J.Glauert}，电子。注释Theor。计算。科学。86，第4号，689--713（2003；Zbl 1270.68129）
全文： 链接
小川，水井裕人

成员条件项重写系统的按需调用缩减。 （英语） Zbl 1270.68136号

Gramlich，Bernhard（编辑）等人，WRS 2003。2003年6月8日，西班牙巴伦西亚，第三届改写和编程减少策略国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第4期，673-688（2003）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Ogawa}，电子。注释Theor。计算。科学。86，第4号，673--688（2003；Zbl 1270.68136）
全文： 链接
妮西，莫妮卡；朱塞皮娜·鲁奇；马西莫·威尔德斯卡

协议验证的重写策略。 （英语） Zbl 1270.68134号

Gramlich，Bernhard（编辑）等人，WRS 2003。2003年6月8日，西班牙巴伦西亚，第三届改写和编程减少策略国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第4期，657-672（2003）。
MSC公司：2012年第68季度 60年第68季度 68个M12
PDF格式BibTeX公司 XML格式引用
\textit｛M.Nesi｝等人，电子。注释Theor。计算。科学。86，第4号，657--672（2003；Zbl 1270.68134）
全文： 链接
吉尔根·吉斯尔；汉斯·赞特马

通过简化策略模拟活跃度。 （英语） Zbl 1270.68128号

Gramlich，Bernhard（编辑）等人，WRS 2003。2003年6月8日，西班牙巴伦西亚，第三届改写和编程减少策略国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第4期，641-656（2003）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Giesl｝和\textit｛H.Zantema｝，电子。注释Theor。计算。科学。86，第4号，641--656（2003；Zbl 1270.68128）
全文： 链接
F·J·洛佩斯·弗拉瓜斯。；Sánchez-Hernández，J。

功能逻辑编程中的失败和相等。 （英语） Zbl 1270.68061号

Brim，Lubos（编辑）等人，WFLP 2003。2003年6月12日至13日，西班牙巴伦西亚，第十二届函数和约束逻辑编程国际研讨会论文集（与RDP’03，重写、演绎和编程联合会议相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第3期，123-143（2003）。
MSC公司：68N17号 68甲18 68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.J.López-Fraguas}和\textit{J.Sánchez-Hernández}，电子。注释Theor。计算。科学。86，No.3，123--143（2003；Zbl 1270.68061）
全文： 链接
Alpunte，M。；D.巴利斯。；埃斯科瓦尔，S。；M.法拉斯基。；卢卡斯，S。

一阶函数程序的抽象修正。 （英语） Zbl 1270.68064号

Brim，Lubos（编辑）等人，WFLP 2003。2003年6月12日至13日，西班牙巴伦西亚，第十二届函数和约束逻辑编程国际研讨会论文集（与RDP’03，重写、演绎和编程联合会议相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第3期，105-122（2003）。
MSC公司：68甲18 68号30 68问题32 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，《电子》。注释Theor。计算。科学。86，第3号，第105-122条（2003年；Zbl 1270.68064）
全文： 链接
D.巴利斯。；M.法拉斯基。；费里，C。；Hernández-Orallo，J。；拉米雷斯-金塔纳，M.J。

声明性程序的成本敏感诊断。 （英语） Zbl 1270.68077号

Brim，Lubos（编辑）等人，WFLP 2003。2003年6月12日至13日，西班牙巴伦西亚，第十二届函数和约束逻辑编程国际研讨会论文集（与RDP’03，重写、演绎和编程联合会议相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第3期，85-104（2003）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Ballis}等人，《电子》。注释Theor。计算。科学。86，第3号，85--104（2003；Zbl 1270.68077）
全文： 链接
迈克尔·鲁西诺维奇

安全协议的自动化分析。 （英语） Zbl 1270.68176号

Brim，Lubos（编辑）等人，WFLP 2003。2003年6月12日至13日，西班牙巴伦西亚，第十二届函数和约束逻辑编程国际研讨会论文集（与RDP’03，重写、演绎和编程联合会议相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第3期，12-15页（2003年）。
MSC公司：60年第68季度 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Rusinovitch}，电子。注释Theor。计算。科学。86，第3号，12--15（2003；Zbl 1270.68176）
全文： 链接
松野育田；佐藤、弘毅

用于数组绑定检查的流分析类型系统。 （英语） Zbl 1270.68180号

James Harland（编辑），CATS’03。计算：澳大利亚理论研讨会。研讨会记录，澳大利亚莫纳什，2003年2月4日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记78，178-195（2003）。
MSC公司：60年第68季度 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Yutaka}和\textit{H.Sato}，电子。注释Theor。计算。科学。78、178--195（2003年；Zbl 1270.68180）
全文： 链接
马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；伊万诺·萨尔沃

M（^3）：移动环境中移动进程的移动类型。 （英语） Zbl 1270.68211号

哈兰德，詹姆斯（编辑），CATS'03。计算：澳大利亚理论研讨会。研讨会记录，澳大利亚莫纳什，2003年2月4日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记78，144-177（2003）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}等人，《电子》。注释Theor。计算。科学。78、144--177（2003年；Zbl 1270.68211）
全文： 链接
奇亚拉·布拉金；阿戈斯蒂诺·科尔特斯；里卡多·福卡迪

边界环境中的信息泄漏检测。 （英语） Zbl 1270.68206号

哈兰德，詹姆斯（编辑），CATS'03。计算：澳大利亚理论研讨会。研讨会记录，澳大利亚莫纳什，2003年2月4日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记78，123-143（2003）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Braghin}等人，《电子》。注释Theor。计算。科学。78、123——143（2003年；Zbl 1270.68206）
全文： 链接
大卫·A·赖特。

线性和被动性。 （英语） 兹比尔1270.03054

James Harland（编辑），CATS’03。计算：澳大利亚理论研讨会。研讨会记录，澳大利亚莫纳什，2003年2月4日至7日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》78，100-111（2003）。
MSC公司：03B70号 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Wright}，电子。注释Theor。计算。科学。78、100-111（2003年；Zbl 1270.03054）
全文： 链接
卡尔·勒默；科林·菲奇；伊恩·海耶斯

程序路径的形式化语义。 （英语） Zbl 1270.68154号

James Harland（编辑），CATS’03。计算：澳大利亚理论研讨会。研讨会记录，澳大利亚莫纳什，2003年2月4日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记78，58-81（2003）。
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Lermer}等人，《电子》。注释Theor。计算。科学。78、58-81（2003年；Zbl 1270.68154）
全文： 链接
斯特里赫曼（Ofer Strichman）（编辑）；阿明·比尔（编辑）

BMC’2003年。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。 （英语） Zbl 1271.68057号

理论计算机科学电子笔记89号，第4条。阿姆斯特丹：爱思唯尔。541-638，仅电子版（2003年）。
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{O.Strichman}（编辑）和\textit{A.Biere}（主编），BMC’2003。2003年7月13日，美国科罗拉多州博尔德市，第一届有界模型检验国际研讨会论文集。阿姆斯特丹：Elsevier（2003；Zbl 1271.68057）
全文： 链接
阿努吉·达瓦尔（编辑）

SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。 （英语） Zbl 1271.68030号

理论计算机科学电子笔记89号，第3条。阿姆斯特丹：爱思唯尔。377-539，仅电子版（2003年）。
MSC公司：68-06 68号30 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Dawar}（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：Elsevier（2003；Zbl 1271.68030）
全文： 链接
奥列格·索科尔斯基（编辑）；马赫什·维斯瓦纳坦（编辑）

PDMC 2003年。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检验国际研讨会（CAV’03卫星研讨会）会议记录。 （英语） Zbl 1271.68056号

理论计算机科学电子笔记89号，第1条。阿姆斯特丹：爱思唯尔。127页。，仅电子版（2003年）。
MSC公司：68-06 68问题85 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{O.Sokolsky}（编辑）和\textit{M.Viswanathan}（主编），PDMC 2003。2003年7月14日，美国科罗拉多州博尔德市，第二届并行和分布式模型检查国际研讨会（CAV’03卫星研讨会）论文集。阿姆斯特丹：Elsevier（2003；Zbl 1271.68056）
全文： 链接
伯恩哈德·格拉姆利希（编辑）；萨尔瓦多卢卡斯（编辑）

WRS 2003年。2003年6月8日，西班牙巴伦西亚，第三届改写和编程减少策略国际研讨会会议记录。 （英语） Zbl 1271.68039号

理论计算机科学电子笔记第86页，第4页。阿姆斯特丹：爱思唯尔。567-730，仅电子版（2003年）。
MSC公司：68-06 2012年第68季度 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Gramlich}（编辑）和\textit{S.Lucas}（编），WRS 2003。2003年6月8日，西班牙巴伦西亚，第三届改写和编程减少策略国际研讨会会议记录。阿姆斯特丹：Elsevier（2003；Zbl 1271.68039）
全文： 链接
权力，约翰

面向数学操作语义理论。 （英语） Zbl 1270.68157号

Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，257-272（2003）。
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}，电子。注释Theor。计算。科学。82，第1号，257--272（2003；Zbl 1270.68157）
全文： 链接
拉尔夫·马提斯；塔尔莫乌斯塔卢

用变量绑定替换基础不完善的语法。 （英语） Zbl 1270.68089号

Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，191-205（2003）。
MSC公司：68号30 18立方厘米10 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Matthes}和\textit{T.Uustalu}，电子。注释Theor。计算。科学。82，编号1191-205（2003年；兹bl 1270.68089）
全文： 链接
亚历山大·巴尔塔格

认知程序的联合语义。 （英语） Zbl 1270.68184号

Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，17-38（2003）。
MSC公司：68问题65 03B42号 68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}，电子。注释Theor。计算。科学。82，第1号，17--38（2003；Zbl 1270.68184）
全文： 链接
乔瓦尼·柔板

使用同步模型的拓扑特征。 （英语） Zbl 1270.68203号

Patrick Cousot（编辑）等人，《并发和分布式系统理论中的几何和拓扑》（DISC’02卫星研讨会）。第四次研讨会（GETCO’02）的论文，法国图卢兹，2002年10月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记81，36-47（2003）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.慢板}，电子。注释Theor。计算。科学。81、36-47（2003年；Zbl 1270.68203）
全文： 链接
斯特凡·索科·奥斯基

po-manifolds的一个例子——追求良好的并发拓扑模型。 （英语） Zbl 1270.68225号

Patrick Cousot（编辑）等人，《并发和分布式系统理论中的几何和拓扑》（DISC’02卫星研讨会）。第四次研讨会（GETCO’02）的论文，法国图卢兹，2002年10月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》81，15-35（2003）。
MSC公司：68问题85 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Sokołowski}，电子。注释Theor。计算。科学。81、15--35（2003年；Zbl 1270.68225）
全文： 链接
乌尔里奇·法伦伯格

定时PV程序的几何结构。 （英语） Zbl 1270.68083号

Patrick Cousot（编辑）等人，《并发和分布式系统理论中的几何和拓扑》（DISC’02卫星研讨会）。第四次研讨会（GETCO’02）的论文，法国图卢兹，2002年10月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记81，1-14（2003）。
MSC公司：68号30 65年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}，电子。注释Theor。计算。科学。81、1-14（2003年；Zbl 1270.68083）
全文： 链接
利特尔，C.M.W。

参数化报价和自我参考。 （英语） Zbl 1270.68088号

Flynn，Sharon等人，MFCSIT 2002。第二届爱尔兰计算机科学和信息技术数学基础会议论文集，爱尔兰国立大学，爱尔兰戈尔韦，2002年7月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记74，69-88（2003）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.M.W.Little}，电子。注释Theor。计算。科学。74，69-88（2003年；兹比尔1270.68088）
全文： 链接
罗兰·海因策

对基础良好的算子进行拓扑研究，并对正常逻辑程序的交替定点语义进行研究。 （英语） Zbl 1270.68059号

Flynn，Sharon等人，MFCSIT 2002。第二届爱尔兰计算机科学和信息技术数学基础会议论文集，爱尔兰国立大学，爱尔兰戈尔韦，2002年7月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记74，51-68（2003）。
MSC公司：68N17号 54H25个 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛R.Heinze｝，电子。注释Theor。计算。科学。74、51-68（2003年；Zbl 1270.68059）
全文： 链接
安德鲁·巴特菲尔德；吉姆·伍德科克

Handel-C的语义域。 （英语） Zbl 1270.68151号

Flynn，Sharon等人，MFCSIT 2002。第二届爱尔兰计算机科学和信息技术数学基础会议论文集，爱尔兰国立大学，爱尔兰戈尔韦，2002年7月18日至19日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》74，1-20（2003）。
MSC公司：68问题55 68N17号 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Butterfield}和\textit{J.Woodcock}，电子。注释Theor。计算。科学。74、1-20（2003年；Zbl 1270.68151）
全文： 链接
芬克尔，A。；J.-F.拉斯金。；萨缪里德斯，M。；范·贝京，L。

Petri网的单调扩展：回顾前向和后向搜索。 （英语） Zbl 1270.68214号

库塞拉、安东尼（编辑）等人，《无限》，2002年。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第6期，85-106（2003）。
MSC公司：68问题85 60年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}等人，《电子》。注释Theor。计算。科学。68，第6号，85--106（2003；Zbl 1270.68214）
全文： 链接
托马斯·科尔科姆贝特

模AC的类型项的部分代数中的重写。 （英语） Zbl 1270.68124号

库塞拉、安东尼（编辑）等人，《无限》，2002年。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第6期，40-54（2003）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Colcombet}，电子。注释Theor。计算。科学。68，第6号，40-54（2003；Zbl 1270.68124）
全文： 链接
玛丽亚·索里亚

时间自动机的有界模型检查。 （英语） Zbl 1270.68177号

沃尔特·福格勒（编辑）等人，MTCS’02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，116-134（2003）。
MSC公司：60年第68季度 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Sorea}，电子。注释Theor。计算。科学。68，第5号，116--134（2003；Zbl 1270.68177）
全文： 链接
弗里德格·穆夫克

处理代数作为规范语言（正在进行中）。 （英语） Zbl 1270.68218号

沃尔特·福格勒（编辑）等人，MTCS’02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，101-115页（2003年）。
MSC公司：68问题85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Müffke}，电子。注释Theor。计算。科学。68，第5号，101--115（2003；Zbl 1270.68218）
全文： 链接
C.Bui Thanh；Klaudel，H。；F.波默罗。

用于系统验证的具有因果时间的Petri网。 （英语） Zbl 1270.68179号

Vogler，Walter（编辑）等人，MTCS’02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，85-100（2003）。
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Thanh}等人，《电子》。注释Theor。计算。科学。68，第5号，85--100（2003；Zbl 1270.68179）
全文： 链接
马里奥·布拉维蒂

随机实时系统规范和分析的集成方法。 （英语） Zbl 1270.68166号

Vogler，Walter（编辑）等人，MTCS’02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，34-64（2003）。
MSC公司：60年第68季度 65年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bravetti}，电子。注释Theor。计算。科学。68，第5号，34--64（2003；Zbl 1270.68166）
全文： 链接
阿尔瓦罗·E·阿里纳斯。

编译实时程序的代数方法。 （英语） Zbl 1270.68075号

沃尔特·福格勒（编辑）等人，MTCS’02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，第1-15页（2003年）。
MSC公司：第68页第20页 68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Arenas}，电子。注释Theor。计算。科学。68，第5号，1--15（2003；Zbl 1270.68075）
全文： 链接
保罗·布莱恩·利维

具有堆栈的按调用值的伴随模型。 （英语） Zbl 1270.68155号

Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，248-271（2003）。
MSC公司：68问题55 18 C50 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.B.Levy}，电子。注释Theor。计算。科学。69、248--271（2003年；Zbl 1270.68155）
全文： 内政部
安东宁·库切拉（编辑）；理查德·迈尔（编辑）

无限2002。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。 （英语） Zbl 1270.68031号

理论计算机科学电子笔记68号，第6条。阿姆斯特丹：爱思唯尔。1-106，仅限电子版（2003年）。
MSC公司：68-06 60年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kucera}（编辑）和\textit{R.Mayr}（主编），Infinity 2002。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：Elsevier（2003；Zbl 1270.68031）
全文： 链接
沃尔特·福格勒（编辑）；金·拉森（编辑）

02年MTCS。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。 （英语） Zbl 1270.68035号

理论计算机科学电子笔记第68页，第5页。阿姆斯特丹：爱思唯尔。1-136，仅电子版（2003年）。
MSC公司：68-06 60年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{W.Vogler}（编辑）和\textit{K.Larsen}（主编），MTCS'02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：Elsevier（2003；Zbl 1270.68035）
全文： 链接
迈克尔·鲁西诺维奇

密码协议验证的实践。 （英语） Zbl 1268.94031号

Goubault-Larrecq，Jean（编辑），LACPV’2001。密码协议验证的逻辑方面。2001年7月23日，法国巴黎，第一次研讨会（CAV’01卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》55，第1期，3-4页（2003年）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Rusinovitch}，电子。注释Theor。计算。科学。55，第1、3-4号（2003；Zbl 1268.94031）
全文： 内政部
罗伯托·阿马迪奥

关于具有密码函数的过程的符号化约简。 （英语） Zbl 1268.94025号

Goubault-Larrecq，Jean（编辑），LACPV’2001。密码协议验证的逻辑方面。2001年7月23日，法国巴黎，第一次研讨会（CAV’01卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》55，第1期，第1-2页（2003年）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Amadio}，电子。注释Theor。计算。科学。55，编号1，1--2（2003；Zbl 1268.94025）
全文： 内政部
吉·斯尔巴

BPA和BPP的弱双相似性和正则性的复杂性。 （英语） Zbl 1260.68278号

Aceto，Luca（编辑）等人，EXPRESS'00:第七届并发表达性国际研讨会。CONCUR 2000卫星研讨会会议记录，美国宾夕法尼亚州大学公园，2000年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》39，第1期，79-93（2003）。
MSC公司：68问题85 2017年第68季度 03B25号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Srba}，电子。注释Theor。计算。科学。39，第1号，79-93（2003年；兹bl 1260.68278）
全文： 内政部
伊曼纽尔·科维诺；乔瓦尼·帕尼

堆栈程序的\（\mu\）-度量的改进。 （英语） Zbl 1261.68059号

Dawar，A.（编辑），第五届隐式计算复杂性国际研讨会论文集，与LICS联合在加拿大安大略省渥太华市举行，2003年6月26-27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记90，37-44（2003）。
MSC公司：2015年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Covino}和\textit{G.Pani}，电子。注释Theor。计算。科学。90、37-44（2003年；Zbl 1261.68059）
全文： 内政部
克里斯蒂安森，L。；尼格尔，K.-H。

Garland度量堆栈程序的计算复杂性。 （英语） Zbl 1261.68061号

Dawar，A.（编辑），第五届隐式计算复杂性国际研讨会论文集，与LICS联合在加拿大安大略省渥太华市举行，2003年6月26-27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记90，15-35（2003）。
MSC公司：2015年第68季度 65年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Kristiansen}和\textit{K.H.Niggl}，电子。注释Theor。计算。科学。90、15--35（2003年；Zbl 1261.68061）
全文： 内政部
奥西彭科，G.S。；Schanz，M。；英国埃尔肖夫。

动力系统双曲线的测试。 （英语） Zbl 1244.37021号

Osipenko，G.S.（编辑），《数学建模工具》。第四届国际会议记录，俄罗斯圣彼得堡，2003年6月23日至28日。圣彼得堡：圣彼得堡州立理工大学（ISBN 5-7422-0511-2/pbk）。数学。《圣彼得堡研究》9，338-344（2003）。
MSC公司：37D20型 37D25个 05C90年 第37页第10页
PDF格式BibTeX公司 XML格式引用
\textit｛G.S.Osipenko｝等人，数学。圣彼得堡Res.9，338--344（2003；Zbl 1244.37021）
西比尔·普克

用于验证分布式算法的基于并发的转换细化。 （英语） Zbl 1283.68212号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿2472430-454（2003）。
MSC公司：60年第68季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Peuker}，莱克特。注释计算。科学。2472430-454（2003年；Zbl 1283.68212）
全文： 内政部
保罗·格雷芬；萨缪尔·安吉洛夫

动态服务外包的三级过程规范：从Petri网到ebXML和WFPDL。 （英语） Zbl 1283.90021号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿2472264-280（2003）。
MSC公司：90B70型 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.格雷芬}和\textit{S.安吉洛夫}，莱克特。注释计算。科学。2472264--280（2003年；Zbl 1283.90021）
全文： 内政部 链接
奥拉夫·克鲁格

用消息序列图和Petri网对铁路道口进行建模。 （英语） Zbl 1283.68249号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿2472197-218（2003）。
MSC公司：68问题85 60年第68季度 90B20型
PDF格式BibTeX公司 XML格式引用
\给Lect发短信。注释计算。科学。2472197--218（2003年；Zbl 1283.68249）
全文： 内政部
克劳迪娅·埃尔梅尔；罗西娅·巴多尔；哈特穆特·埃里格

在GenGED中生成Petri网的动画视图。 （英语） Zbl 1283.68241号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿247283-108（2003）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Ermel}等人，Lect。注释计算。科学。2472,83--108（2003年；Zbl 1283.68241）
全文： 内政部
圣彼得罗，皮耶路易吉；当、哲

多队列离散时间自动机的自动验证。 （英语） Zbl 1276.68097号

Warnow，Tandy（编辑）等人，《计算与组合学》。第九届国际年会，COCOON 2003，Big Sky，MT，USA，2003年7月25-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40534-8/pbk）。计算机科学课堂讲稿2697159-171（2003）。
MSC公司：65年第68季度 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.San Pietro}和\textit{Z.Dang}，Lect。注释计算。科学。2697159--171（2003年；Zbl 1276.68097）
全文： 内政部
Yen、Hsu-Chun；于连波

具有简单电路的Petri网。 （英语） Zbl 1276.68130号

Warnow，Tandy（编辑）等人，《计算与组合学》。第九届国际年会，COCOON 2003，Big Sky，MT，USA，2003年7月25-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40534-8/pbk）。计算机科学课堂讲稿2697149-158（2003）。
MSC公司：68问题85 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.-C.Yen}和\textit{L.-P.Yu}，Lect。注释计算。科学。26971949-158（2003年；兹bl 1276.68130）
全文： 内政部
克里斯蒂安诺·德布拉加。；Husler，E.赫尔曼；何塞·梅塞盖尔；彼得·莫塞斯（Peter D.Mosses）。

将模块化SOS映射到重写逻辑。 （英语） Zbl 1278.68166号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664262-277（2003）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.O.De Braga}等人，Lect。注释计算。科学。2664262--277（2003年；Zbl 1278.68166）
全文： 内政部
鲁道夫·伯哈默

用于应用程序的最小子集的通用程序。 （英语） Zbl 1278.68069号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664144-157（2003）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}，莱克特。注释计算。科学。2664144-157（2003年；Zbl 1278.68069）
全文： 内政部
玛丽贝尔·费尔南德斯；波拉·塞韦利

构造演算中程序提取的一种操作方法。 （英语） Zbl 1278.68071号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664111-125（2003）。
MSC公司：68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fernández}和\textit{P.Severi}，莱克特。注释计算。科学。2664111-125（2003年；Zbl 1278.68071）
全文： 内政部 链接
罗伯特·科尔文；伊恩·海耶斯；大卫·海默；保罗·斯特罗珀

高阶逻辑程序的精化。 （英语） Zbl 1278.68046号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664126-143（2003）。
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Colvin}等人，Lect。注释计算。科学。2664126--143（2003年；Zbl 1278.68046）
全文： 内政部 链接
安娜丽莎·博西；里卡多·福卡迪；卡拉广场；萨宾娜·罗西

信息流安全性证明系统。 （英语） Zbl 1278.68158号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664199-218（2003）。
MSC公司：60年第68季度 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{A.Bossi}等人，Lect。注释计算。科学。2664199--218（2003年；Zbl 1278.68158）
全文： 内政部
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过程序转换将逻辑程序和一元二阶逻辑相结合。 （英语） Zbl 1278.68049号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664160-181（2003）。
MSC公司：68N17号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。2664160-181（2003年；Zbl 1278.68049）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件