×

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

最新的 引文 关联
佛罗伦萨伊帕特;玛丽安·盖奥吉;迈克·霍尔科姆;都铎州巴勒内斯库

使用\（X\）-机器翻译进行测试。 （英语） Zbl 1499.68110号

Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。211-229 (2001).
MSC公司：2009年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Ipate}等人，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。211-229（2001年；Zbl 1499.68110）
全文： 内政部
马特维娃，L.E。

动力系统某些性质的说明和验证。 （俄语） 兹比尔1494.68171

Sergienko，I.V.，Komp'yuterna matematyka。Optymizatsiya obchyslen'。汤姆1。基辅：乌克兰国家科学院。格卢什科娃。281-292 (2001).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛L.E.Matveeva｝，在：Komp'yuterna matematyka。Optymizatsiya obchyslen'。汤姆1。基辅：乌克兰国家科学院。V.M.Glushkova。281--292（2001年；Zbl 1494.68171）
丹尼尔·福斯滕;沃尔夫拉姆·路德

非线性多项式方程组的验证解。 （英语） Zbl 1391.65145号

Krämer，Walter（编辑）等人，《科学计算，验证数值，区间方法》，德国卡尔斯鲁厄，2000年9月19日至22日。纽约州纽约市：施普林格出版社（ISBN 978-0-306-46706-6/hbk；978-1-4757-6484-0/电子书）。141-152 (2001).
MSC公司：65H10型
PDF格式BibTeX公司 XML格式引用
\textit{D.Fausten}和\textit{W.Luther}，in：科学计算，验证数值，区间方法，德国卡尔斯鲁厄，2000年9月19-22日。纽约州纽约市：斯普林格。141——152（2001；Zbl 1391.65145）
全文： 内政部
O.弗内特。;Markenzon，L。

求解最大可约流图问题。 （英语） Zbl 1430.68249号

Broersma，Hajo（编辑）等人，《第一届科隆-特温特图形与组合优化研讨会论文集》，德国科隆，2001年6月6日至8日。扩展摘要。阿姆斯特丹：爱思唯尔。电子。注释离散数学。8, 111-114 (2001).
MSC公司：68兰特 05C20号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.Vernet}和\textit{L.Markenzon}，电子。注释离散数学。8111--114（2001年；Zbl 1430.68249）
全文： 链接
西蒙·圣詹姆斯;乌尔里希·尼切

计算属性-从迹约简中提取保护行为，基于抽象验证公平性下的线性时间属性。 （英语） Zbl 1333.68180号

2001年8月26日至28日，美国罗得岛州纽波特市PODC’01第20届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-383-9）。238-245 (2001).
MSC公司：60年第68季度 64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.St.James}和\textit{U.Ultes-Nitsche}，in：第20届ACM分布式计算原理年度研讨会论文集，PODC’01，纽波特，RI，美国，2001年8月26-28日。纽约州纽约市：计算机协会（ACM）。238--245（2001年；Zbl 1333.68180）
全文： 内政部
杰罗姆·沃伊隆

包含和二进制方法的结合：一个带有视图的对象演算。 （英语） Zbl 1323.68171号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。290-303 (2001).
MSC公司：68甲18 68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Vouillon}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。290-303（2001年；Zbl 1323.68171）
全文： 内政部
约瑟夫·吉尔（约西）

子类型算术类型。 （英语） Zbl 1323.68208号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。276-289 (2001).
MSC公司：68号30 68甲15 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gil}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。276--289（2001年；Zbl 1323.68208）
全文： 内政部
屏蔽，Mark;埃里克·梅杰尔

类型标识的行。 （英语） Zbl 1323.68159号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。261-275（2001年）。
MSC公司：68甲18 68甲15 68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Shields}和\textit{E.Meijer}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。261-275（2001年；兹bl 1323.68159）
全文： 内政部
安德鲁·戈登。;唐·赛姆

键入多语言中间代码。 （英语） 兹比尔1323.68209

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。248-260 (2001).
MSC公司：68号30 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}和\textit{D.Syme}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。248-260（2001年；Zbl 1323.68209）
全文： 内政部
彼得·休厄尔

模块、抽象类型和分布式版本控制。 （英语） Zbl 1323.68228号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。236-247 (2001).
MSC公司：68号30 68甲15 68N20型 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Sewell}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。236--247（2001年；Zbl 1323.68228）
全文： 内政部
米歇尔·布格列西;朱塞佩·卡斯塔尼亚

确保安全环境。 （英语） Zbl 1323.68404号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。222-235 (2001).
MSC公司：68问题85 68号30 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}和\textit{G.Castagna}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。222--235（2001年；Zbl 1323.68404）
全文： 内政部
卡尔蒂基扬·巴尔干;萨蒂什·钱德拉;彼得·麦肯。;卡尔·A·冈特。

可能出现的数据包：用于网络监控的自动机。 （英语） Zbl 1323.68199号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。206-219 (2001).
MSC公司：68号30 68个M12 68甲15 65年第68季度 60年第68季度 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。206-219（2001年；兹bl 1323.68199）
全文： 内政部
科马克·弗拉纳根;詹姆斯·B·萨克斯。

避免指数爆炸：生成紧凑的验证条件。 （英语） Zbl 1323.68372号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。193-205年（2001年）。
MSC公司：60年第68季度 68甲15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Flanagan}和\textit{J.B.Saxe}，摘自：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。193-205（2001年；兹bl 1323.68372）
全文： 内政部
克里斯蒂亚诺·卡尔加诺

区域演算的安全性和正确性的分层操作语义。 （英语） Zbl 1323.68354号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。155-165 (2001).
MSC公司：68问题55 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。155-165（2001年；Zbl 1323.68354）
全文： 内政部
Necula，George C。;拉胡尔，S.P。

基于Oracle的不受信任软件检查。 （英语） Zbl 1323.68222号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。142-154 (2001).
MSC公司：68号30 68甲15 68N17号 68甲18 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{G.C.Necula}和\textit{S.P.Rahul}，摘自：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。142--154（2001年；Zbl 1323.68222）
全文： 内政部
Atsushi Igarashi;直纪小林

用于\（\pi\）-演算的泛型类型系统。 （英语） Zbl 1323.68410号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。128-141 (2001).
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Igarashi}和\textit{N.Kobayashi}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。128--141（2001年；Zbl 1323.68410）
全文： 内政部
戴维·莫尼奥

一种用于概率程序分析的抽象蒙特卡罗方法。 （英语） Zbl 1323.68219号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。93-101 (2001).
MSC公司：68号30 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Monniaux}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。93——101（2001；Zbl 1323.68219）
全文： 内政部 哈尔
Lee、Chin Soon;尼尔·D·琼斯。;阿米尔·本·阿姆拉姆。

程序终止的大小更改原则。 （英语） 兹比尔1323.68216

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。81-92 (2001).
MSC公司：68号30 68甲18 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Lee}等人，载于：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。81-92（2001年；Zbl 1323.68216）
全文： 内政部
细野县细野;本杰明·皮尔斯

XML的正则表达式模式匹配。 （英语） Zbl 1323.68076号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。67-80 (2001).
MSC公司：68甲15 68甲18 68号30 68第05页 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hosoya}和\textit{B.Pierce}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。67-80（2001年；Zbl 1323.68076）
全文： 内政部 链接
雅各布·雷霍夫;曼努埃尔·Fähndrich

基于类型的流分析：从多态性亚型到CFL可达性。 （英语） Zbl 1323.68226号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。54-66 (2001).
MSC公司：68号30 68甲15 68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rehof}和\textit{M.Fähndrich}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。54-66（2001年；Zbl 1323.68226）
全文： 内政部
马丁·奥德斯基;克里斯托夫·曾格;马蒂亚斯·曾格

彩色局部类型推断。 （英语） Zbl 1323.68144号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。41-53（2001年）。
MSC公司：68甲18 68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Odersky}等人，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17-19日。纽约州纽约市：计算机协会（ACM）。41-53（2001年；Zbl 1323.68144）
全文： 内政部
埃兰·雅哈夫

使用三值逻辑验证并发Java程序的安全属性。 （英语） Zbl 1323.68183号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。27-40 (2001).
MSC公司：第68页第19页 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Yahav}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。27-40（2001年；Zbl 1323.68183）
全文： 内政部
萨明·伊斯蒂亚克。;O'Hearn，Peter W。

BI作为可变数据结构的断言语言。 （英语） Zbl 1323.68077号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。14-26 (2001).
MSC公司：68甲15 03B70号 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Ishtiaq}和\textit{P.W.O'Hearn}，摘自：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。14-26（2001年；Zbl 1323.68077）
全文： 内政部
古斯塔夫森，约尔根;大卫·桑兹

随需随选型空间改进的可能性和局限性。 （英语） Zbl 1323.68210号

2001年9月3日至5日在意大利佛罗伦萨举行的第六届ACM SIGPLAN功能编程国际会议记录，ICFP'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-415-0）。ACM SIGPLAN公告36，第10号，265-276（2001）。
MSC公司：68号30 68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gustavsson}和\textit{D.Sands}，摘自：第六届ACM SIGPLAN函数式编程国际会议论文集，ICFP'01，意大利佛罗伦萨，2001年9月3--5日。纽约州纽约市：计算机协会（ACM）。265-276（2001年；兹bl 1323.68210）
全文： 内政部
马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔

关于并行程序的最优切片。 （英语） Zbl 1323.68316号

2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日，希腊克里特岛赫索尼索斯。纽约州纽约市：ACM出版社（ISBN 1-581-13349-9）。647-656 (2001).
MSC公司：65年第68季度 03B70号 68号30 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.üller-Olm}和textit{H.Seidl}，摘自：第三十三届ACM计算理论研讨会论文集，STOC 2001。赫尔索尼索斯，克里特岛，希腊，2001年7月6-8日。纽约州纽约市：ACM出版社。647--656（2001年；Zbl 1323.68316）
全文： 内政部
伊尔科Visser

作用域动态重写规则。 （英语） Zbl 1268.68106号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，375-396（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Visser}，电子。注释Theor。计算。科学。59，第4号，375--396（2001；Zbl 1268.68106）
全文： 内政部
奥利维尔·丹维;Lasse R.尼尔森。

句法理论在实践中的应用。 （英语） Zbl 1268.68065号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，358-374（2001）。
MSC公司：68号30 68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Danvy}和\textit{L.R.Nielsen}，电子。注释Theor。计算。科学。59，第4号，358--374（2001；Zbl 1268.68065）
全文： 内政部
乔治·斯特鲁斯

非对称传递关系的Knuth-Bendix完备。 （英语） Zbl 1268.68068号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会论文集（PLI 2001卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，341-357（2001）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Struth}，电子。注释Theor。计算。科学。59，第4号，341--357（2001；Zbl 1268.68068）
全文： 内政部
伯恩德·菲舍尔;格里高·罗什乌

解释成员关系等式逻辑中的抽象解释。 （英语） Zbl 1268.68066号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，271-285（2001）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Fischer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。59，第4号，271--285（2001；Zbl 1268.68066）
全文： 内政部
清崎阿卡玛;埃卡维特·南塔吉瓦拉瓦特;Hidekatsu Koike

一类重写规则和基于规则的等价转换的反向转换。 （英语） Zbl 1268.68061号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，255-270页（2001年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Akama}等人，《电子》。注释Theor。计算。科学。59，编号4255-270（2001年；兹bl 1268.68061）
全文： 内政部
沃尔夫冈·戈里克

机械软件验证：从用户角度来看的高级控制方面。 （英语） 兹伯利1268.68111

Bonacina，Paola（编辑）等人，《2001年战略》。2001年6月18日，意大利锡耶纳，第四届自动扣减战略国际研讨会论文集（与2001年国际扣减战略研讨会相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》58，第2期，117-137（2001）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.Goerick}，电子。注释Theor。计算。科学。58，No.2，117--137（2001；Zbl 1268.68111）
全文： 内政部
卡斯滕·舒尔曼;于大川;倪兆忠

LF中的\（F_{\omega}\）表示。 （英语） Zbl 1268.68055号

Ambler，S.J.（编辑）等人，MERLIN 2001。2001年6月18日，意大利锡耶纳，《关于变量绑定语言的机械化推理研讨会论文集》（与IJCAR 2001相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》58，第1期，79-96（2001）。
MSC公司：68甲18 68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Schürmann}等人，《电子》。注释Theor。计算。科学。58，No.1，79--96（2001；Zbl 1268.68055）
全文： 内政部
哈努斯，迈克尔

声明式编程的简化策略。 （英语） Zbl 1268.68095号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，184-191（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Hanus}，电子。注释Theor。计算。科学。57、184--191（2001年；Zbl 1268.68095）
全文： 内政部
雷内·维斯特加德

评估归一化的简单类型理论。 （英语） Zbl 1268.68056号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。研讨会后会议记录。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，163-183（2001）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Vestergaard}，电子。注释Theor。计算。科学。57、163--183（2001年；Zbl 1268.68056）
全文： 内政部
帕特里夏·约翰;伊尔科Visser

将逻辑和控制与局部变换融合：一个优化示例。 （英语） Zbl 1268.68098号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，144-162（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Johann}和\textit{E.Visser}，电子。注释Theor。计算。科学。57、144——162（2001年；Zbl 1268.68098）
全文： 内政部
伊尔科Visser

程序转换系统中重写策略的综述。 （英语） Zbl 1268.68105号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57/109-143（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Visser}，电子。注释Theor。计算。科学。57/109-143（2001年；兹bl 1268.68105）
全文： 内政部
阮广辉

通过惰性重写压缩规范化跟踪。 （英语） 兹比尔1268.68101

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，87-108（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{Q.-H.Nguyen}，电子。注释Theor。计算。科学。57、87——108（2001年；Zbl 1268.68101）
全文： 内政部
拉尔夫·拉梅尔

通用类型保护遍历策略。 （英语） Zbl 1268.68099号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，64-86（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Lämmel}，电子。注释Theor。计算。科学。57、64——86（2001年；Zbl 1268.68099）
全文： 内政部
范德波尔（Jaco Van De Pol）

即时：关于战略注释。 （英语） Zbl 1268.68104号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，41-63（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Van De Pol}，电子。注释Theor。计算。科学。57、41-63（2001年；Zbl 1268.68104）
全文： 内政部
Alpunte，M。;F.J.科雷亚。;M.法拉斯基。

功能逻辑程序的声明性调试。 （英语） Zbl 1268.68091号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，17-40（2001）。
MSC公司：2012年第68季度 68N17号 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，《电子》。注释Theor。计算。科学。57、17--40（2001年；Zbl 1268.68091）
全文： 内政部
塞尔吉奥·安托伊

函数逻辑编程的评估策略。 （英语） Zbl 1268.68092号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，1-16（2001）。
MSC公司：2012年第68季度 68N17号 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Antoy}，电子。注释Theor。计算。科学。57、1-16（2001年；Zbl 1268.68092）
全文： 内政部
马克·范登·布兰德（编辑）;拉凯什·维尔玛（编辑）

规则2001。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。 （英语） Zbl 1266.68020号

理论计算机科学电子笔记59，第4号。阿姆斯特丹：爱思唯尔。255-426，仅电子版（2001年）。
MSC公司：68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛M.van den Brand｝（编辑）和\textit｛R.Verma｝（编辑），规则2001。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：Elsevier（2001；Zbl 1266.68020）
全文： 链接
伯恩哈德·格拉姆利希（编辑）;萨尔瓦多卢卡斯（编辑）

WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。 （英语） Zbl 1266.68016号

理论计算机科学电子笔记57.阿姆斯特丹：爱思唯尔。202页。，仅电子版（2001）。
MSC公司：68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Gramlich}（编辑）和\textit{S.Lucas}（编），WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：Elsevier（2001；Zbl 1266.68016）
全文： 链接
保尔·弗雷德里克·威廉姆斯

基于布尔表达式图的形式验证。 （英语） Zbl 1266.68004号

理论计算机科学电子笔记56.阿姆斯特丹：爱思唯尔；林比：TU Denmark，信息技术部（Diss.2000）。iv，190页。，仅电子版（2001）。
MSC公司：68-02 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Williams}，基于布尔表达式图的形式验证。阿姆斯特丹：爱思唯尔；Lyngby：TU丹麦，信息技术部（Diss.2000）（2001；Zbl 1266.68004）
全文： 内政部
史蒂夫·施耐德

可测试性、无干扰性和组合性。 （英语） Zbl 1264.68112号

Seda，Anthony（编辑）等人，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，361-391（2001）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}，电子。注释Theor。计算。科学。40、361--391（2001年；Zbl 1264.68112）
全文： 内政部
J.N.里德。;辛克莱，J.E。

优化-保护插件组件。 （英语） Zbl 1264.68109号

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，304-322（2001）。
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Reed}和\textit{J.E.Sinclair}，电子。注释Theor。计算。科学。40、304--322（2001年；Zbl 1264.68109）
全文： 内政部
权力，约翰

计算（lambda）演算的模型。 （英语） Zbl 1264.03047号

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，288-301（2001）。
MSC公司：03B40型 03G30型 18立方厘米 18日第15天 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}，电子。注释Theor。计算。科学。40、288--301（2001年；Zbl 1264.03047）
全文： 内政部
帕尔，克劳斯

用于改进代数模型的叠加运算符。 （英语） Zbl 1264.68063号

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40269-287（2001）。
MSC公司：68号30 70年第68季度 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{C.Pahl}，电子。注释Theor。计算。科学。40269-287（2001年；兹比尔1264.68063）
全文： 内政部
莱因哈德·卡勒

软件维护的验证理论概念。 （英语） Zbl 1264.68059号

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，206-219（2001）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Kahle}，电子。注释Theor。计算。科学。40、206-219（2001年；Zbl 1264.68059）
全文： 内政部
马可·科米尼;罗伯塔·戈里;乔治·列维

逻辑程序的基于断言的归纳验证方法。 （英语） Zbl 1264.68110号

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，52-69（2001）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Comini}等人，《电子》。注释Theor。计算。科学。40、52——69（2001年；Zbl 1264.68110）
全文： 内政部
伊利亚诺·塞维萨托

安全协议的类型化多集重写规范。 （英语） 兹比尔1264.68075

安东尼·塞达（编辑）等，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，8-51（2001）。
MSC公司：68第25页 94A60型 94A62型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Cervesato}，电子。注释Theor。计算。科学。40、8--51（2001年；Zbl 1264.68075）
全文： 内政部
莫雷诺，法拉斯基;阿尔贝托，Policriti;艾丽西亚·维拉纽埃娃

用时间并发约束语言对指定的并发系统进行建模。一、。 （英语） Zbl 1263.68118号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，197-210（2001）。
MSC公司：68问题85 第68页第19页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Falaschi}等人，《电子》。注释Theor。计算。科学。48、197--210（2001年；Zbl 1263.68118）
全文： 内政部
安德烈亚·奥米西尼;恩里科·丹蒂

正式重新规范. （英语） Zbl 1263.68033号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，179-196（2001）。
MSC公司：68甲15 68号30 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Omicini}和\textit{E.Denti}，电子。注释Theor。计算。科学。48、179--196（2001年；Zbl 1263.68033）
全文： 内政部
利贾·费雷拉;萨尔瓦多阿布雷乌

为AJACS设计，这是另一个Java约束编程框架。 （英语） Zbl 1263.68039号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，167-178（2001）。
MSC公司：第68页第19页 68N17号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Ferreira}和\textit{S.Abreu}，电子。注释Theor。计算。科学。48、167--178（2001年；Zbl 1263.68039）
全文： 内政部
托姆·吕维思

约束程序中规则应用程序的数量。 （英语） Zbl 1263.68045号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，147-166（2001）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Frühwirth}，电子。注释Theor。计算。科学。48、147--166（2001年；Zbl 1263.68045）
全文： 内政部
马可·科米尼;罗伯塔·戈里;乔治·列维

逻辑程序作为逻辑程序归纳验证中的规范。 （英语） Zbl 1263.68034号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，131-146（2001）。
MSC公司：68N17号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Comini}等人，《电子》。注释Theor。计算。科学。48、131--146（2001年；Zbl 1263.68034）
全文： 内政部
亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特，威克利基

声明性框架中的概率限制。 （英语） Zbl 1263.68044号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，108-130（2001）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Pierro}等人，《电子》。注释Theor。计算。科学。48、108——130（2001年；Zbl 1263.68044）
全文： 内政部
阿戈斯蒂诺·多维尔;罗伯托·贾科巴齐;Elisa昆塔雷利

细化和压缩抽象模型检查。 （英语） Zbl 1263.68108号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，90-107（2001）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Dovier}等人，《电子》。注释Theor。计算。科学。48、90-107（2001年；Zbl 1263.68108）
全文： 内政部
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli

论析取逻辑规划与线性逻辑规划的关系。 （英语） Zbl 1263.68043号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，65-89（2001）。
MSC公司：68号30 03楼52 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozzano}等人，《电子》。注释Theor。计算。科学。48、65-89（2001年；Zbl 1263.68043）
全文： 内政部
吉安卢卡·阿马托

一阶逻辑的正确答案。 （英语） Zbl 1263.68041号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，45-64（2001）。
MSC公司：68号30 03B70号 03财年03 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{G.Amato}，电子。注释Theor。计算。科学。48、45-64（2001年；Zbl 1263.68041）
全文： 内政部
德塞尔，约格;朱哈斯，加布里埃尔;罗伯特·洛伦茨

使用部分代数统一具有限制发生规则的Petri网。 （英语） Zbl 1263.68107号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，163-187（2001）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Desel}等人，《电子》。注释Theor。计算。科学。44，No.4，163--187（2001；Zbl 1263.68107）
全文： 内政部
马克·奥利弗·斯特尔;何塞·梅塞盖尔;彼得·塞巴·奥维茨基

使用重写逻辑作为统一框架来表示和执行Petri网。 （英语） Zbl 1263.68094号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，140-162（2001）。
MSC公司：2012年第68季度 60年第68季度 68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.-O.Stehr}等人，《电子》。注释Theor。计算。科学。44，第4号，140--162（2001；Zbl 1263.68094）
全文： 内政部
德纳特，J。;加耶夫斯基，M。;莱姆布克，S。;韦伯，H。

Petri net Baukasten：第二期。 （英语） 兹比尔1263.68106

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，120-139（2001）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Dehnert}等人，《电子》。注释Theor。计算。科学。44，第4号，120--139（2001；Zbl 1263.68106）
全文： 内政部
卢西亚诺·巴雷西;毛罗·佩泽尔

用Petri网改进UML。 （英语） Zbl 1263.68105号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，107-119（2001）。
MSC公司：60年第68季度 68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Baresi}和\textit{M.Pezzè}，电子。注释Theor。计算。科学。44，No.4，107--119（2001；Zbl 1263.68105）
全文： 内政部
安迪·舒尔

将图形转换概念添加到UML的约束语言OCL中。 （英语） Zbl 1263.68114号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，93-106（2001）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Schürr}，电子。注释Theor。计算。科学。44，第4号，93--106（2001；Zbl 1263.68114）
全文： 内政部
马丁·格罗·罗德

UML集成内部模型的形式化概念。 （英语） Zbl 1263.68110号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形过程规范技术的统一方法（ETAPS 2001的卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，80-92（2001）。
MSC公司：60年第68季度 68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛M.Große-Rhode｝，电子公司。注释Theor。计算。科学。44，第4号，80--92（2001；Zbl 1263.68110）
全文： 内政部
马克·米纳斯;伯特霍尔德·霍夫曼

使用指定和实现可视化流程建模语言DiaGen公司. （英语） 兹比尔1263.68113

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，67-79（2001）。
MSC公司：60年第68季度 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.米纳斯}和\textit{B.霍夫曼}，电子。注释Theor。计算。科学。44，第4号，67--79（2001；Zbl 1263.68113）
全文： 内政部
埃梅尔，C。;R.巴多尔。;J.帕德伯格。

基于图变换的软件体系结构和演化可视化设计。 （英语） Zbl 1263.68109号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，52-66（2001）。
MSC公司：60年第68季度 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Ermel}等人，《电子》。注释Theor。计算。科学。44，第4号，52--66（2001；Zbl 1263.68109）
全文： 内政部
瑞科·赫克尔;阿尔伯特·Zündorf

如何指定图形转换方法：的元模型富贾巴语. （英语） 兹比尔1263.68111

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，41-51（2001）。
MSC公司：60年第68季度 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}和\textit{A.Zündorf}，电子。注释Theor。计算。科学。44，第4号，41-51（2001；Zbl 1263.68111）
全文： 内政部
加布里埃尔·坦泽尔

面向图形和图形转换系统的通用交换格式。 （英语） Zbl 1263.68115号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，28-40（2001）。
MSC公司：60年第68季度 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Taentzer}，电子。注释Theor。计算。科学。44，第4号，第28--40条（2001年；Zbl 1263.68115）
全文： 内政部
弗朗西斯科·帕里西·普雷西奇

关于修改高级更换系统。 （英语） Zbl 1263.68091号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，16-27（2001）。
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Parisi-Prescce}，电子。注释Theor。计算。科学。44、第4、16-27号（2001年；Zbl 1263.68091）
全文： 内政部
汉斯·约尔格·克鲁斯基;乔治·布萨托;萨宾·库斯克

GRACE作为一种基于图转换的规范的统一方法。 （英语） Zbl 1263.68085号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，第1-15页（2001年）。
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Krowski}等人，《电子》。注释Theor。计算。科学。44，第4号，第1-15号（2001；Zbl 1263.68085）
全文： 内政部
友子阿里塔;富山，Kiyonobu;津田贤成;Yaku、Takeo

属性NCE图文法在表格句法编辑中的应用。 （英语） Zbl 1262.68075号

Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第3期，282-288（2001）。
MSC公司：2012年第68季度 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Arita}等人，《电子》。注释Theor。计算。科学。50，第3号，282--288（2001；Zbl 1262.68075）
全文： 内政部
阿里基·齐奥拉基斯

在UML序列图中集成模型信息。 （英语） Zbl 1262.68131号

Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第3期，266-274（2001）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Tsiolakis}，电子。注释Theor。计算。科学。50，第3号，266-274（2001年；兹bl 1262.68131）
全文： 内政部
瑞科·赫克尔;朱斯特，Jochen M。

可视化模型的行为约束。 （英语） 兹比尔1262.68121

Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第3期，257-265（2001）。
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}和\textit{J.M.Kuster}，电子。注释Theor。计算。科学。50，第3号，257--265（2001；Zbl 1262.68121）
全文： 内政部
安德烈亚·科拉迪尼;费尔南多·路易斯·多蒂;里贝罗，莱拉

关于使用移动代码的应用程序规范的图形转换视图。 （英语） Zbl 1262.68112号

Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第3期，238-246（2001）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，《电子》。注释Theor。计算。科学。50，第3号，238--246（2001；Zbl 1262.68112）
全文： 内政部
Baukus，K。;斯塔尔，K。;Bensalem，S。;Y.Lakhnech。

具有参数化状态空间的过程网络。 （英语） Zbl 1262.68103号

理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4386-400期（2001年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Baukus}等人，《电子》。注释Theor。计算。科学。50，编号4386--400（2001年；兹bl 1262.68103）
全文： 内政部
G·德尔扎诺。

用于验证多维参数化系统的断言语言（初步结果）。 （英语） 兹比尔1262.68115

理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4期，371-385（2001）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Delzanno}，电子。注释Theor。计算。科学。50，第4号，371--385（2001；Zbl 1262.68115）
全文： 内政部
马赛尔·凯斯

验证Futurebus+缓存一致性协议所有配置的网络不变性。 （英语） Zbl 1262.68126号

理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》50，第4期，357-370（2001）。
MSC公司：60年第68季度 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Kyas}，电子。注释Theor。计算。科学。50，第4号，357--370（2001；Zbl 1262.68126）
全文： 内政部
泰瑟·图利

使用加宽技术定期进行模型检查。 （英语） 兹比尔1262.68130

理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4期，342-356（2001）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Touili}，电子。注释Theor。计算。科学。50，第4号，342--356（2001；Zbl 1262.68130）
全文： 内政部
弗拉德·鲁苏;埃琳娜·齐诺维耶娃

使用Presburger算法和未解释的函数符号分析自动机。 （英语） Zbl 1262.68039号

理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4期，327-341（2001）。
MSC公司：68号30 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}和\textit{E.Zinovieva}，电子。注释Theor。计算。科学。50，第4号，327--341（2001；Zbl 1262.68039）
全文： 内政部
理查德·迈尔（编辑）

VEPAS 2001。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。 （英语） Zbl 1262.68015号

理论计算机科学电子笔记50号，第4条。阿姆斯特丹：爱思唯尔。327-402，仅电子版（2001年）。
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Mayr}（编辑），VEPAS 2001。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：Elsevier（2001；Zbl 1262.68015）
全文： 链接
阿戈斯蒂诺·多维尔（编辑）;玛丽亚·希亚拉（Maria Chiara Meo）（编辑）;安德烈亚·奥米西尼（编辑）

声明性编程。AGP 2000论文选集，哈瓦那，古巴，2000年12月4日至6日。诉讼程序。 （英语） Zbl 1262.68011号

理论计算机科学电子笔记48.阿姆斯特丹：爱思唯尔。第254页。，仅电子版（2001）。
MSC公司：68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Dovier}（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000的论文选集。诉讼程序。阿姆斯特丹：Elsevier（2001；Zbl 1262.68011）
全文： 链接
哈特穆特·埃里格（编辑）;克劳迪娅·埃尔梅尔（编辑）;朱莉娅·帕德伯格（编辑）

UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。 （英语） Zbl 1262.68012号

理论计算机科学电子笔记44号，第4条。阿姆斯特丹：爱思唯尔。第189页。，仅电子版（2001）。
MSC公司：68-06 2012年第68季度 60年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（编辑）等人，UNIGRA 2001。图形过程规范技术的统一方法（ETAPS 2001的卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：Elsevier（2001；Zbl 1262.68012）
全文： 链接
Hayo Thielecke

通过双管CPS变换比较控制结构。 （英语） Zbl 1260.68117号

Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，433-447（2001）。
MSC公司：68号30 68问题55 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{H.Thielecke}，电子。注释Theor。计算。科学。45333-447（2001年；兹bl 1260.68117）
全文： 内政部
权力，约翰;康斯坦蒂诺斯·图拉斯

计算中基于图形的图表的代数基础。 （英语） 兹比尔1260.68114

Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，346-357（2001）。
MSC公司：68号30 60年第68季度 05C65号 18A10号
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}和\textit{K.Tourlas}，电子。注释Theor。计算。科学。45、346--357（2001年；Zbl 1260.68114）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件