×

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

最新 引文 关联
戴维·莱西;尼尔·D·琼斯。;埃里克·范怀克;卡尔·克里斯蒂安·弗雷德里克森

通过时态逻辑证明编译器优化的正确性。 （英语） Zbl 1323.68380号

2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。283-294 (2002).
MSC公司：60年第68季度 03B44号 68N20型 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Lacey}等人，摘自：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。283-294（2002年；兹bl 1323.68380）
全文： 内政部 链接
苏振东;亚历山大·艾肯;约阿希姆·尼伦;蒂姆·普莱斯尼茨;拉尔夫·特里宁

子类型约束的一阶理论。 （英语） Zbl 1323.68164号

2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。203-216（2002年）。
MSC公司：68甲18 03B25号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Su}等人，《第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。203-216（2002年；Zbl 1323.68164）
全文： 内政部 链接
马西莫·梅罗;马修·轩尼诗

安全环境中的相互模拟一致性。 （英语） Zbl 1323.68412号

2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。71-80 (2002).
MSC公司：第68季度85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Merro}和\textit{M.Hennessy}，摘自：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。71-80（2002年；Zbl 1323.68412）
全文： 内政部
约翰·格劳特;苏拉布·卡西达什维利

抽象Böhm-规范化。 （英语） Zbl 1270.68066号

Gramlich，Bernhard（编辑）等人，WRS 2002。2002年7月21日在丹麦哥本哈根举行的第二届改写和编程减少战略国际研讨会（FLoC卫星活动）的最后会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第6期，118-134（2002）。
MSC公司：68甲18 03B40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Glauert}和\textit{Z.Khasidashvili}，电子。注释Theor。计算。科学。70，第6号，118--134（2002；Zbl 1270.68066）
全文： 链接
富山胜彦;小岛高弘;稻垣安史

将多智能体自认知逻辑转换为逻辑程序。 （英语） Zbl 1270.68335号

Dix，Jurgen（编辑）等人，CLIMA’2002。多代理系统中的计算逻辑（FLoC卫星事件），丹麦哥本哈根，2002年8月1日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第5期，54-71（2002）。
MSC公司：68T42型 03B42号 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Katsuhiko}等人，《电子》。注释Theor。计算。科学。70，第5号，54--71（2002；Zbl 1270.68335）
全文： 链接
阿德里安·希尔顿;霍尔，乔恩·G。

将规范细化为可编程逻辑。 （英语） Zbl 1270.68086号

Derrick，John（编辑）等人，REFINE 2002。BCS FACS精炼研讨会会议记录（FLoC 2002卫星活动），丹麦哥本哈根，2002年7月20日至21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第3期，37-49（2002）。
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Hiltont｝和\textit｛J.G.Hall｝，电子。注释Theor。计算。科学。70，第3号，37-49（2002；Zbl 1270.68086）
全文： 链接
史蒂夫·邓恩

规范的接线组成总体正确性和一般正确性。 （英语） Zbl 1270.68081号

Derrick，John（编辑）等人，REFINE 2002。BCS FACS精炼研讨会会议记录（FLoC 2002卫星活动），丹麦哥本哈根，2002年7月20日至21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第3期，4-20（2002）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Dunne}，电子。注释Theor。计算。科学。70，第3、4--20号（2002年；Zbl 1270.68081）
全文： 链接
卡斯滕·舒尔曼;谢尔盖·奥特西尔

走向\（\mathcal的验证计划{米}_{\omega}^+\）。 （英语） Zbl 1270.68263号

Frank Pfenning（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第2期，124-145（2002）。
MSC公司：68吨15 68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Schürmann}和\textit{S.Autexier}，电子。注释Theor。计算。科学。70，第2号，124--145（2002；Zbl 1270.68263）
全文： 链接
大卫·德拉哈耶

一种专门用于验证的元语言。 （英语） Zbl 1270.68262号

Pfenning，Frank（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第2期，96-109（2002）。
MSC公司：68吨15 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Delahaye}，电子。注释Theor。计算。科学。70，第2号，96--109（2002；Zbl 1270.68262）
全文： 链接
伊万·斯卡涅托;马里诺·米库兰

归纳结构演算中的环境演算及其逻辑。 （英语） Zbl 1270.03052号

Frank Pfenning（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第2期，76-95（2002）。
MSC公司：03B70号 03B45号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛I.Scagnetto｝和\textit｛M.Miculan｝，电子。注释Theor。计算。科学。70，第2号，76--95（2002；Zbl 1270.03052）
全文： 链接
范·拉姆斯东克（Femke van Raamsdonk）;波拉·塞韦利

消除程序中的证据。 （英语） Zbl 1270.03056号

Frank Pfenning（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第2期，42-59（2002）。
MSC公司：03B70号 03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.van Raamsdonk}和\textit{P.Severi}，电子。注释Theor。计算。科学。70，第2号，42-59（2002；Zbl 1270.03056）
全文： 链接
阿伦·斯塔姆;克拉克·W·巴雷特。;大卫·L·迪尔。

从椭圆LF中的算术决策过程中生成证明。 （英语） Zbl 1270.03027号

Frank Pfenning（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第2期，29-41（2002）。
MSC公司：03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Stump}等人，《电子》。注释Theor。计算。科学。70，第2号，第29-41条（2002年；Zbl 1270.03027）
全文： 链接
约瑟夫·范德瓦尔特（Joseph C.Vanderwaart）。;卡尔·克雷

线性LF元理论的简化说明。 （英语） Zbl 1270.03053号

Pfenning，Frank（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》70，第2期，11-28（2002）。
MSC公司：03B70号 第03页 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Vanderwaart}和\textit{K.Crary}，电子。注释Theor。计算。科学。70，编号2，11--28（2002；Zbl 1270.03053）
全文： 链接
乌尔里克·弗伦德鲁普;汉斯·休特尔;Jesper Nyholm Jensen

加密过程的模态逻辑。 （英语） Zbl 1270.03038号

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，124-141（2002）。
MSC公司：03B45号 第68季度85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{U.Frendrup}等人，《电子》。注释Theor。计算。科学。68，第2号，124--141（2002；Zbl 1270.03038）
全文： 内政部
尼古拉斯·马基

过去是免费的：关于用过去验证线性时间属性的复杂性。 （英语） Zbl 1270.68172号

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，87-104（2002）。
MSC公司：60年第68季度 03B44号 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{N.Markey}，电子。注释Theor。计算。科学。68，第2号，87--104（2002；Zbl 1270.68172）
全文： 内政部
拉内·克利维兰;杰拉尔德·吕特根

逻辑过程演算。 （英语） Zbl 1270.68210号

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，33-50（2002）。
MSC公司：第68季度85 03B44号 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}和\textit{G.Lüttgen}，电子。注释Theor。计算。科学。68，第2号，33--50（2002；Zbl 1270.68210）
全文： 内政部
丹尼尔·博基尔;约拉姆·赫什菲尔德;亚历山大·拉比诺维奇;阿纳托尔·斯利森科

概率嵌套游戏。 （英语） 兹比尔1270.03050

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，第4-14页（2002年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Beauquier}等人，《电子》。注释Theor。计算。科学。68，第2、4--14号（2002年；Zbl 1270.03050）
全文： 内政部
杰苏斯·麦地那;曼纽尔·奥杰达·阿西戈;沃伊塔什，彼得

基于相似性的统一的多伴随方法。 （英语） Zbl 1270.68062号

Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》66，第5期，70-85（2002）。
MSC公司：68N17号 03B52号 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Medina}等人，《电子》。注释Theor。计算。科学。66，编号5，70-85（2002年；兹bl 1270.68062）
全文： 内政部
特穆尔库西亚

具有序列变量和灵活的arity符号的模式统一。 （英语） Zbl 1270.68130号

Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》66，第5期，第52-69页（2002年）。
MSC公司：2012年第68季度 03B60
PDF格式BibTeX公司 XML格式引用
\textit{T.库西亚}，电子。注释Theor。计算。科学。66，第5号，52--69（2002；Zbl 1270.68130）
全文： 内政部
P.埃克隆德。;医学硕士加兰。;J.麦地那。;Ojeda Aciego，M。;巴尔韦德，A。

统一广义术语的分类方法。 （英语） Zbl 1270.03141号

Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》66，第5期，41-51（2002）。
MSC公司：03G30型 03B50号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Eklund}等人，《电子》。注释Theor。计算。科学。66，第5号，41-51（2002；Zbl 1270.03141）
全文： 内政部
特蕾莎·阿尔辛;路易斯·戈多;桑德拉·桑德里

具有上下文相关模糊统一的扩展可能性逻辑规划的两种形式：比较描述。 （英语） Zbl 1270.68058号

Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记66，第5期，1-21期（2002年）。
MSC公司：68N17号 03B35型 03B50号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{T.Alsinet}等人，《电子》。注释Theor。计算。科学。66，第5号，1-21（2002；Zbl 1270.68058）
全文： 内政部
帕里托什·K·潘迪亚。

区间持续时间逻辑：表现力和可判定性。 （英语） Zbl 1270.68175号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，254-272（2002）。
MSC公司：60年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.K.Pandya}，电子。注释Theor。计算。科学。65，第6254-272号（2002年；兹bl 1270.68175）
全文： 内政部
Dimitar P.Guelev。;Van Hung，Dang先生

在持续时间演算中为状态添加前缀和投影。 （英语） Zbl 1270.68169号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第6期，101-119（2002）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.P.Guelev}和\textit{D.Van Hung}，电子。注释Theor。计算。科学。65，No.6，101--119（2002；Zbl 1270.68169）
全文： 内政部
亚历山大·库兹;德克·帕丁森

有限余代数模态逻辑的可定义性、规范模型、紧性。 （英语） Zbl 1270.03143号

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第1期，135-155页（2002年）。
MSC公司：03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurz}和\textit{D.Pattinson}，电子。注释Theor。计算。科学。65，第1号，135--155（2002；Zbl 1270.03143）
全文： 内政部
科琳娜·科斯特

将许多排序的代数模态逻辑制度化。 （英语） Zbl 1270.03140号

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第1期，54-70（2002）。
MSC公司：03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Cêrstea}，电子。注释Theor。计算。科学。65，第1号，54-70（2002年；兹bl 1270.03140）
全文： 内政部
弗兰克·芬宁（编辑）

LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。 （英语） Zbl 1270.03023号

理论计算机科学电子笔记第70页，第2页。阿姆斯特丹：爱思唯尔。1-146，仅电子版（2002年）。
MSC公司：03-06 68-06 00B25型 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}（编辑），LFM 2002。第三届逻辑框架和元语言国际研讨会会议记录（FLoC卫星活动），丹麦哥本哈根，2002年7月26日。阿姆斯特丹：爱思唯尔（2002；Zbl 1270.03023）
全文： 链接
佐藤、新亚;杉本，托鲁;山田，新一

基于线性化学抽象机的类型化演算的实现模型。 （英语） Zbl 1268.68054号

Michael Hanus（编辑），WFLP 2001。功能和（约束）逻辑编程国际研讨会论文集，德国基尔，2001年9月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记64292-307（2002）。
MSC公司：68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Sato}等人，《电子》。注释Theor。计算。科学。64、292--307（2002年；Zbl 1268.68054）
全文： 内政部
米盖尔·帕洛米诺·塔朱埃罗

将Meseguer的重写逻辑与逻辑CRWL进行比较。 （英语） Zbl 1268.68103号

Michael Hanus（编辑），WFLP 2001。功能和（约束）逻辑编程国际研讨会论文集，德国基尔，2001年9月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记64，255-276（2002）。
MSC公司：2012年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Tarjuelo}，电子。注释Theor。计算。科学。64、255--276（2002年；Zbl 1268.68103）
全文： 内政部
罗伯托·布鲁尼;Furio Honsell;玛丽娜·莱妮莎;马里诺·米库兰

比较逻辑框架和tile逻辑中的高阶编码。 （英语） Zbl 1268.68047号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，136-156（2002）。
MSC公司：68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。62、136--156（2002年；Zbl 1268.68047）
全文： 内政部
克劳斯·格鲁

Dedekind补全作为构造新Scott域的方法。 （英语） Zbl 1268.03018号

James Harland（编辑），CATS’02。计算：澳大利亚理论研讨会。第八届研讨会论文集，澳大利亚莫纳什，2002年1月28日至2月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记61，140-153（2002）。
MSC公司：03B40型 06B35号
PDF格式BibTeX公司 XML格式引用
\textit{K.Grue}，电子。注释Theor。计算。科学。61、140——153（2002年；Zbl 1268.03018）
全文： 内政部
约翰·克罗斯利。

声明式编程：一种逻辑视图。 （英语） Zbl 1268.03034号

James Harland（编辑），CATS’02。计算：澳大利亚理论研讨会。第八届研讨会会议记录，2002年1月28日至2月1日，澳大利亚莫纳什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记61，20（2002）。
MSC公司：03B70号 68N17号 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛J.N.Crossley｝，电子。注释Theor。计算。科学。61、20（2002年；Zbl 1268.03034）
全文： 内政部
帕特里克·埃克隆德（编辑）;曼纽尔·奥杰达·阿西戈（编辑）

UNCL’2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。 （英语） Zbl 1266.68015号

理论计算机科学电子笔记66号，第5条。阿姆斯特丹：爱思唯尔。105页。，仅电子版（2002年）。
MSC公司：68-06 03B35型 03B60 68N17号 68吨15 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Eklund}（编辑）和\textit{M.Ojeda-Aciego}（主编），UNCL'2002。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：Elsevier（2002；Zbl 1266.68015）
全文： 链接
贾科莫伦齐

一元二阶逻辑及其碎片。 （英语） Zbl 1263.03007号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，258-264（2002）。
MSC公司：03B15号机组 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{G.Lenzi}，电子。注释Theor。计算。科学。51258-264（2002年；兹bl 1263.03007）
全文： 内政部
布鲁诺·库塞尔

图运算、图变换和一元二阶逻辑：综述。 （英语） Zbl 1263.68071号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，122-126（2002）。
MSC公司：2012年第68季度 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}，电子。注释Theor。计算。科学。51、122——126（2002年；Zbl 1263.68071）
全文： 内政部
J.C.布拉德菲尔德。;弗罗斯科尔，S.B。

关于逻辑等价和并发等价。 （英语） Zbl 1260.68259号

Aceto，Luca（编辑）等人，EXPRESS’01。2001年8月20日在丹麦奥尔堡举行的CONCUR 2001第八届并发表达能力国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》52，第1期，32-45页（2002年）。
MSC公司：第68季度85 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Bradfield}和\textit{S.B.Fröschle}，电子。注释Theor。计算。科学。52，编号1，32-45（2002；Zbl 1260.68259）
全文： 内政部
艾伦·马丁

CTL中足够的时态连接词集。 （英语） Zbl 1260.03033号

Aceto，Luca（编辑）等人，EXPRESS’01。2001年8月20日在丹麦奥尔堡举行的CONCUR 2001第八届并发表达能力国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》52，第1期，第21-31页（2002年）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Martin}，电子。注释Theor。计算。科学。52，第1号，21-31（2002年；兹bl 1260.03033）
全文： 内政部
北海绪方

复数的动态语义\（\mathrm{DPL}_{Q} ^{\circledast}\）。 （英语） Zbl 1261.03108号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，263-283（2002）。
MSC公司：03B65号
PDF格式BibTeX公司 XML格式引用
\textit{N.Ogata}，电子。注释Theor。计算。科学。67、263--283（2002年；Zbl 1261.03108）
全文： 内政部
法鲁兹卡马雷丁;弗朗索瓦·莫宁;毛里西奥·阿亚拉·林科恩

关于使用产品类型自动从证明中提取程序。 （英语） Zbl 1261.68045号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，233-253（2002）。
MSC公司：68号30 03B40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Kamaredine}等人，《电子》。注释Theor。计算。科学。67、233--253（2002年；Zbl 1261.68045）
全文： 内政部
卡洛斯·杜阿尔特。;汤姆·迈鲍姆

用于开放分布式系统开发的分支时间逻辑系统。 （英语） Zbl 1261.03082号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，184-203（2002）。
MSC公司：03B44号 64岁以下 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.H.C.Duarte}和\textit{T.Maibaum}，电子。注释Theor。计算。科学。67、184--203（2002年；Zbl 1261.03082）
全文： 内政部
亚瑟·巴赫斯鲍姆

模糊描述的逻辑。 （英语） 兹比尔1261.03106

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，148-165（2002）。
MSC公司：03B65号
PDF格式BibTeX公司 XML格式引用
\textit{A.Buchsbaum}，电子。注释Theor。计算。科学。67、148--165（2002年；Zbl 1261.03106）
全文： 内政部
萨宾·布罗达;达马斯，路易斯

研究蕴涵直觉逻辑中的可证明性：公式树方法。 （英语） Zbl 1261.03067号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，131-147（2002）。
MSC公司：03B20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}和\textit{L.Damas}，电子。注释Theor。计算。科学。67、131--147（2002年；Zbl 1261.03067）
全文： 内政部
珍妮·伊夫·贝齐奥

非真实功能多价值。 （英语） Zbl 1261.03094号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，116-130（2002）。
MSC公司：03B50号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.-Y.Béziau}，电子。注释Theor。计算。科学。67116-130（2002年；Zbl 1261.03094）
全文： 内政部
贝德雷加，本杰明·雷内·卡莱哈斯;伊万诺斯卡·安德拉德·达席尔瓦

连续域及其作为逻辑系统的信息系统表示。 （英语） Zbl 1261.68083号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，96-115（2002）。
MSC公司：68问题55 03B70号 06B35号
PDF格式BibTeX公司 XML格式引用
\textit｛B.R.C.Bedregal｝和\textit｛I.A.Da Silva｝，Electron。注释Theor。计算。科学。67、96-115（2002年；Zbl 1261.68083）
全文： 内政部
毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁

比较显性替代和eta还原的计算。 （英语） Zbl 1261.03071号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，76-95（2002）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。67、76-95（2002年；Zbl 1261.03071）
全文： 内政部
戈帕兰·纳达图尔

lambda术语的暂停符号及其在元语言实现中的使用。 （英语） Zbl 1261.68043号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，35-48（2002）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{G.Nadathur}，电子。注释Theor。计算。科学。67、35-48（2002年；Zbl 1261.68043）
全文： 内政部
埃里希·格拉德尔

模型检查游戏。 （英语） Zbl 1261.68086号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，15-34（2002）。
MSC公司：60年第68季度 03B10号机组 2017年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{E.Grädel}，电子。注释Theor。计算。科学。67、15--34（2002年；Zbl 1261.68086）
全文： 内政部
戴尔·米勒

高阶量化和证明搜索。 （英语） Zbl 1275.68048号

Kirchner，Hélène（编辑）等人，《代数方法论和软件技术》。第九届国际会议，2002年AMAST，2002年9月9日至13日，法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林：施普林格出版社（ISBN 3-540-44144-1/pbk）。计算机科学课堂讲稿2422，60-74（2002）。
MSC公司：68N17号 03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。2422、60-74（2002年；Zbl 1275.68048）
全文： 内政部
阿克塞尔·谢尔;迪特尔·赫特

进化正式软件开发的证明转换。 （英语） Zbl 1275.68059号

Kirchner，Hélène（编辑）等人，《代数方法论和软件技术》。第九届国际会议，2002年AMAST，2002年9月9日至13日，法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林：施普林格出版社（ISBN 3-540-44144-1/pbk）。计算机科学课堂讲稿2422，441-456（2002）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Schairer}和\textit{D.Hutter}，莱克特。注释计算。科学。2422、441--456（2002年；Zbl 1275.68059）
全文： 内政部
迪迪埃·杜布瓦;亨利·普拉德

可能性逻辑和模糊规则中的两极性（扩展抽象）。 （英语） Zbl 1278.68299号

Grosky，William I.（编辑）等人，SOFSEM 2002：信息学理论与实践。2002年11月22日至29日在捷克共和国米洛维举行的第29届信息学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00145-X/pbk）。计算机科学课堂讲稿2540168-173（2002）。
MSC公司：68层37 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{D.Dubois}和\textit{H.Prade}，莱克特。注释计算。科学。2540、168--173（2002年；Zbl 1278.68299）
全文： 内政部
法鲁兹卡马雷丁

关于函数和类型：教程。 （英语） Zbl 1278.03038号

Grosky，William I.（编辑）等人，SOFSEM 2002：信息学理论与实践。2002年11月22日至29日在捷克共和国米洛维举行的第29届信息学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00145-X/pbk）。计算机科学课堂讲稿2540，74-93（2002）。
MSC公司：03B40型 03B15号机组 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Kamaredine}，莱克特。注释计算。科学。2540、74-93（2002年；Zbl 1278.03038）
全文： 内政部
塞德里克·勒卢;马克·达汉

模糊逻辑对机械装配件表示的贡献。（对逻辑的贡献是对非集合模型维度的表达。） （法语。英文摘要） Zbl 1161.70307号

C.R.、MéC.、。，阿卡德。科学。巴黎 330，第2期，133-140（2002）.
MSC公司：70B15号机组 03B52号
PDF格式BibTeX公司 XML格式引用
\textit｛C.Lelu｝和\textit｛M.Dahan｝，C.R.，MéC。，阿卡德。科学。巴黎330，No.2，133--140（2002；Zbl 1161.70307）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件