×

找到66个文档（结果1–66）

最新的 引文 关联
吉里什·巴特;多龙·贝利德

向线性时间逻辑添加偏序。 （英语） Zbl 1512.68148号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 119-134 (1997).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Bhat}和\textit{D.Peled}，Lect。注释计算。科学。1243119--134（1997年；Zbl 1512.68148）
全文： 内政部
杰斯珀·亨利克森。;Thiagarajan，P.S。

动态线性时间时序逻辑的产品版本。 （英语） Zbl 1512.68156号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 45-58 (1997).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.G.Henriksen}和\textit{P.S.Thiagarajan}，莱克特。注释计算。科学。1243、45-58（1997年；Zbl 1512.68156）
全文： 内政部
伊琳娜·维尔比特斯凯特;Anzhelika Votinseva

偏序逻辑的行为特征。 （英语） Zbl 1507.68218号

Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1279, 463-474 (1997).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{I.Virbitskaite}和\textit{A.Votinsseva}，莱克托。注释计算。科学。1279463-474（1997年；Zbl 1507.68218）
全文： 内政部
Tanabe、Makoto

时间Petri网和时间线性逻辑。 （英语） Zbl 1510.68071号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 156-174 (1997).
MSC公司：68问题85 03B44号 第03页 07年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.Tanabe}，莱克特。注释计算。科学。1248156-174（1997年；Zbl 1510.68071）
全文： 内政部 链接
彼得·哈贝梅尔

关于Petri网线性时间演算的复杂性。 （英语） Zbl 1523.68041号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 102-116 (1997).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.哈贝梅尔}，莱克特。注释计算。科学。1248102-116（1997年；Zbl 1523.68041）
全文： 内政部
哈维尔·埃斯帕尔扎;斯蒂芬·梅尔泽

使用约束编程检查LTL模型。 （英语） 兹比尔1523.68040

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 1-20 (1997).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{S.Melzer}，莱克特。注释计算。科学。1248，1--20（1997；Zbl 1523.68040）
全文： 内政部
卢卡·德·阿尔法罗

性能和可靠性规范的时间逻辑。 （英语） Zbl 1498.68155号

Reischuk，Rüdiger（编辑）等人，STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日，德国吕贝克。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1200, 165-176 (1997).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.de Alfaro}，莱克特。注释计算。科学。1200、165--176（1997年；Zbl 1498.68155）
全文： 内政部
卢卡·德·阿尔法罗;阿琼·卡普尔;佐哈尔·曼纳

混合图：一种用于混合系统验证的演绎算法方法。 （英语） Zbl 1498.68156号

Reischuk，Rüdiger（编辑）等人，STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日，德国吕贝克。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1200, 153-164 (1997).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.de Alfaro}等人，Lect。注释计算。科学。1200、153--164（1997年；Zbl 1498.68156）
全文： 内政部
莫舍·瓦尔迪。

交替自动机：统一时序逻辑的真实性和有效性检查。 （英语） Zbl 1430.68156号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 191-206 (1997).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。1249、191--206（1997年；Zbl 1430.68156）
全文： 内政部
彼得·尼伯特;芭芭拉·斯普里克

带定点的Mazurkiewicz跟踪逻辑的表证明系统。 （英语） Zbl 1412.68246号

Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1227, 291-306 (1997).
MSC公司：68吨15 03B35型 03B44号 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.尼伯特}和\textit{B.Sprick}，莱克特。注释计算。科学。1227，291--306（1997；Zbl 1412.68246）
全文： 内政部
理查德·迈尔

表5 PA工艺方法。 （英语） Zbl 1412.68153号

Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。国际会议，TABLEAUX'97，法国Mousson桥，1997年5月13日至16日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1227, 276-290 (1997).
MSC公司：68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Mayr}，莱克特。注释计算。科学。1227、276--290（1997；Zbl 1412.68153）
全文： 内政部
五月，沃尔夫冈

用语义表证明标记转换系统的正确性。 （英语） Zbl 1412.68154号

Galmiche，Didier（编辑），分析表的自动推理和相关方法。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1227, 261-275 (1997).
MSC公司：68问题85 03B44号 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.May}，莱克特。注释计算。科学。1227，261--275（1997；Zbl 1412.68154）
全文： 内政部
Ognjanović，佐兰;米奥德拉格·拉什科维奇

带有概率算子的时序逻辑的完备性定理。 （英语） Zbl 1014.03509号

Tošić，Ratko（ed.）等人，《第八届逻辑和计算机科学国际会议论文集：计算机科学的理论基础》，1997年9月1日至4日，南斯拉夫诺维萨德，Lira’97。诺维·萨德：诺维·萨德大学，数学研究所科学学院，177-181（1997）。
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：03B48号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Ognjanović｝和\textit｛M.Rašković｝，《第八届逻辑与计算机科学国际会议论文集：计算机科学的理论基础》，Lira'97，南斯拉夫诺维萨德，1997年9月1日至4日。诺维·萨德：诺维·萨德大学，科学院，数学研究所。177-181（1997年；Zbl 1014.03509）
迈克尔·戈尔茨坦

后验判断的先验推断。 （英语） Zbl 0987.03019号

Dalla Chiara，Maria Luisa（编辑）等人，《科学中的结构和规范》。第十届国际逻辑、方法论和科学哲学大会第二卷，意大利佛罗伦萨，1995年8月19日至25日。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。260, 55-71 (1997).
MSC公司：03B48号
PDF格式BibTeX公司 XML格式引用
\textit{M.Goldstein}，Synth。伦敦银行同业拆借利率。260、55--71（1997年；Zbl 0987.03019）
Nepomnyashchij，V.A。;新墨西哥州希洛夫。;E.V.博丹。

由Basic-REAL规范提出的分布式系统的形式语义和验证。 （英语） Zbl 0947.68055号

Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 7, 35-55 (1997).
审核人：F.A.Murzin（新西伯利亚）
MSC公司：2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepomnyashchij}等人，Jt。牛市。NCC IIS，序列号。计算。科学。7、35-55（1997年；Zbl 0947.68055）
伯恩哈德·海尼曼

命题线性时间时序逻辑的拓扑推广。 （英语） Zbl 0943.03016号

Privara，L.（编辑）等人，1997年计算机科学的数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1295, 289-297 (1997).
审核人：彼得·扬查尔（俄斯特拉发）
MSC公司：03B44号 60年第68季度 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{B.Heinemann}，莱克特。注释计算。科学。1295、289--297（1997；Zbl 0943.03016）
瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼

集成了图形转换和时序逻辑的规范化技术。 （英语） Zbl 0951.68055号

Privara，L.（编辑）等人，1997年计算机科学的数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1295, 219-228 (1997).
MSC公司：2012年第68季度 68问题65 03B44号 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，Lect。注释计算。科学。1295、219--228（1997年；Zbl 0951.68055）
斯科特·史密斯

演员系统规范图。 （英语） Zbl 0925.68309号

Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。10，第16号电子文件（1997年）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.Smith}，in：霍OTS II。语义学高级操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8-12日。阿姆斯特丹：爱思唯尔。第16号电子文件（1997；Zbl 0925.68309）
全文： 链接
马克·迪芬布鲁赫

通过状态空间探索和模型检查对时间和资源扩展SDL系统进行定量分析。（Hilfe von Zustandsraumeexploration and Model-Checking定量分析zeit-und ressourcenerweiter SDL-Systeme） （德语） Zbl 0898.68046号

埃森：埃森大学，FB Mathematik und Informatik，x，346 S.（1997）。
MSC公司：60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{M.Diefenbruch}，《Hilfe von Zustandsraumexploration and Model-Checking定量分析与压力传感器SDL-Systeme mit》。埃森：埃森大学，FB Mathematik und Informatik（1997；Zbl 0898.68046）
彼得·R·金。

时间约束的基于逻辑的形式主义。 （英语） Zbl 0887.68102号

查尔斯·尼古拉斯（编辑）等人，《文件处理原理》。1996年9月23日，第三届国际研讨会，PODP’96，美国加利福尼亚州帕洛阿尔托。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1293, 87-101 (1997).
审核人：N.Curteanu（伊阿什）
MSC公司：68T27型 03B80号 03B45号 第68页第20页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{P.R.King}，莱克特。注释计算。科学。1293，87--101（1997；Zbl 0887.68102）
弗拉基米尔·扎哈罗夫

用单调析取范式验证PLTL公式。 （英语） Zbl 0887.03011号

Adian，S.（编辑）等人，《计算机科学的逻辑基础》。第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1234, 419-429 (1997).
MSC公司：03B45号 05年3月 03B25号
PDF格式BibTeX公司 XML格式引用
\文本｛V.Zakharov｝，Lect。注释计算。科学。1234419-429（1997年；Zbl 0887.03011）
法布里西奥·达莫雷;法比奥·亚科比尼

时间约束网络的在线算法。 （英语） Zbl 0890.68067号

Möhring，Rolf H.（编辑），计算机科学中的图论概念。1997年6月18日至20日，第23届国际研讨会，德国柏林，WG’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1335, 144-156 (1997).
MSC公司：68宽10 68兰特 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.d'Amore}和\textit{F.Iacobini}，莱克特。注释计算。科学。1335144-156（1997年；Zbl 0890.68067）
克莱尔·狄克逊;迈克尔·费舍尔

表aux表示具有交互作用的知识和时间的同步系统。 （英语） Zbl 0886.03025号

Grahne，G.（编辑），SCAI’97。第六届斯堪的纳维亚人工智能会议，芬兰赫尔辛基，1997年8月18日至20日。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。40, 28-39 (1997).
MSC公司：03B80号 68T27型 68立方英尺 03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛C.Dixon｝和\textit｛M.Fisher｝，正面。Artif公司。智力。申请。40、28-39（1997；Zbl 0886.03025）
阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯;卡洛斯·卡莱罗

逻辑与混合规则的同步：完整性保持。 （英语） Zbl 0886.03043号

Michael Johnson（编辑），代数方法论和软件技术。1997年12月13日至17日，第六届国际会议，澳大利亚悉尼AMAST’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1349, 465-478 (1997).
MSC公司：03G30型 03B99号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Sernadas｝等人，Lect。注释计算。科学。1349、465--478（1997；Zbl 0886.03043）
拉马努贾姆，R。

跟踪一致性推理规则。 （英语） Zbl 0918.03016号

Shyamasundar，R.K.（编辑）等人，《计算科学进展——1997年亚洲》。第三届亚洲计算科学会议，尼泊尔加德满都，1997年12月9日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1345, 57-71 (1997).
审核人：彼得·扬查尔（俄斯特拉发）
MSC公司：03B70号 60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramanujam}，莱克特。注释计算。科学。1345，57--71（1997；Zbl 0918.03016）
斯蒂芬·默兹

抽象规则。 （英语） Zbl 0899.03013号

Shyamasundar，R.K.（编辑）等人，《计算科学进展——1997年亚洲》。第三届亚洲计算科学会议，尼泊尔加德满都，1997年12月9日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1345, 32-45 (1997).
审核人：L.州（布库雷什蒂）
MSC公司：03B35型 68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{S.Merz}，莱克特。注释计算。科学。1345，32-45（1997；Zbl 0899.03013）
卡罗尔·摩根;安娜贝拉·麦克维尔

一种基于期望的概率时间演算。 （英语） Zbl 0885.03037号

Groves，Lindsay（编辑）等人，《形式方法太平洋》，1997年。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。4-22 (1997).
MSC公司：03B70号 68问题55 60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}和\textit{A.McIver}，in：形式方法太平洋'97。《1997年FMP会议记录》，1997年7月9日至11日，新西兰惠灵顿。新加坡：斯普林格。4--22（1997；Zbl 0885.03037）
苏珊娜·沙赫特;乌多·哈恩

演员节目的时间推理。 （英语） Zbl 0885.03038号

Costa，Ernesto（编辑）等人，《人工智能的进展》。1997年10月6日至9日在葡萄牙科英布拉举行的第八届葡萄牙会议，EPIA’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1323, 279-290 (1997).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Schacht}和\textit{U.Hahn}，莱克特。注释计算。科学。1323、279--290（1997；Zbl 0885.03038）
马达瓦恩·穆昆德;Thiagarajan，P.S。

Mazurkiewicz轨迹上的线性时间-时间逻辑。 （英语） Zbl 0882.68089号

Peled，Doron A.（编辑）等人，《验证中的偏序方法》。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。29, 171-201 (1997).
MSC公司：60年第68季度 2005年第68季度 65年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Mukund}和\textit{P.S.Thiagarajan}，DIMACS，Ser。离散数学。西奥。计算。科学。29171--201（1997；Zbl 0882.68089）
赖西格，W。

交错进度-并行进度和局部进度。 （英语） Zbl 0883.68058号

Peled，Doron A.（编辑）等人，《验证中的偏序方法》。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。29, 99-115 (1997).
MSC公司：2010年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Reisig}，DIMACS，序列号。离散数学。西奥。计算。科学。29、99-115（1997年；Zbl 0883.68058）
沃伊切赫·彭泽克;玛丽安·斯雷布尼

跟踪系统上一阶时序逻辑的完全公理化。 （英语） Zbl 0883.68089号

Peled，Doron A.（编辑）等人，《验证中的偏序方法》。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。第2979-97页（1997年）。
MSC公司：60年第68季度 03B45号 03B48号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{W.Penczek}和\textit{M.Srebrny}，DIMACS，序列号。离散数学。西奥。计算。科学。29、79——97（1997年；Zbl 0883.68089）
Shmuel Katz

时态逻辑中使用全局等价证明的精化。 （英语） Zbl 0883.68088号

Peled，Doron A.（编辑）等人，《验证中的偏序方法》。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。29, 59-78 (1997).
MSC公司：60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{S.Katz}，DIMACS，Ser。离散数学。西奥。计算。科学。29、59-78（1997年；Zbl 0883.68088）
艾默生·E·艾伦

模型检查和微积分。 （英语） Zbl 0877.03020号

Immerman，Neil（编辑）等，描述复杂性和有限模型。DIMACS研讨会论文集，1996年1月14日至17日，普林斯顿大学，普林斯顿，新泽西州，美国。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。31, 185-214 (1997).
MSC公司：03B80号 03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Emerson}，DIMACS，序列号。离散数学。西奥。计算。科学。31185-214（1997；Zbl 0877.03020）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件