×

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

最新的 引文 关联
克里斯·巴雷特;雅各布、里科;马达夫·马拉特

形式语言约束路径问题。 （英语） Zbl 1502.68205号

Arnborg，Stefan（编辑）等人，《算法理论–SWAT’98》。第六届斯堪的纳维亚算法理论研讨会，瑞典斯德哥尔摩，1998年7月8日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1432, 234-245 (1998).
MSC公司：68兰特 2017年第68季度 65年第68季度 65年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，Lect。注释计算。科学。1432、234--245（1998年；Zbl 1502.68205）
全文： 内政部
埃尔玛·比勒;沃尔特·福格勒

令牌通过MUTEX解决方案的效率-一些实验。 （英语） Zbl 1510.68052号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1420, 185-204 (1998).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Bihler}和\textit{W.Vogler}，莱克特。注释计算。科学。1420、185--204（1998年；Zbl 1510.68052）
全文： 内政部
彼得·扬查尔;František先生;马丁·普拉特克;约格·沃格尔

重启自动机的不同类型的单调性。 （英语） Zbl 1499.68182号

Arvind，V.（编辑）等人，《软件技术和理论计算机科学基础》。第十八届会议，印度钦奈，1998年12月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1530, 343-354 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{P.Jančar}等人，Lect。注释计算。科学。1530、343--354（1998年；Zbl 1499.68182）
Manevska，T.维奥莱塔

自动机理论的代数方法和形式语言的识别。 （马其顿语） Zbl 1274.68162号

Dimitrovski，Dragan（编辑）等人，《Prv kongres na matematicharite i informaticharite na Makedonija》。斯科普里：Sojuz na Matematicharite i Informaticharite na Makedonija（ISBN 9989-9954-0-0）。3-8 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.V.Manevska｝，在：Prv kongres na matematicharite i informaticharite na Makedonija中。斯科普里：Sojuz na Matematicharite i Informaticharite na Makedonija。3-8（1998年；Zbl 1274.68162）
斯沃齐尔，K。

自动机理论中量子互补的类似物。 （英语） Zbl 1222.81101号

研究历史。菲洛斯。科学。，B部分，学生历史。菲洛斯。国防部。物理学。 29，No.1，61-80（1998）.
MSC公司：81页第10页 05年3月 03G12号机组 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Svozil}，历史研究。菲洛斯。科学。，B部分，学生历史。菲洛斯。国防部。物理学。29，第1号，61-80（1998年；兹bl 1222.81101）
全文： 内政部
巴比切夫，A.V。

有理项和有理数。 （英语。俄文原件） Zbl 1079.68573号

自动。远程控制 59，第3号，第2部分，432-444（1998）; Avtom翻译。Telemekh公司。1998年，第3期，156-172（1998）。
审核人：A.A.Iskander（MR1668845）
MSC公司：65年第68季度 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Babichev}，汽车。遥控器59，第3号，第2部分，432--444（1998；Zbl 1079.68573）；Avtom翻译。Telemekh公司。1998年，第3期，156--172（1998）
Ponomareva，A.Yu。;M.K.奇尔科夫。

关于周期变结构广义自动机状态约简的矩阵方法。 （英语。俄文原件） 兹比尔1040.68538

维斯特。圣彼得堡大学数学。 31，第3号，61-64（1998）; 维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。1998年，第3期，67-70（1998年）。
MSC公司：65年第68季度 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Ponomareva}和\textit{M.K.Chirkov}，Vestn。圣彼得堡大学数学。31，第3号，61-64（1998；Zbl 1040.68538）；维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。1998年，第3期，67--70（1998）
奥尔纳·库普弗曼;莫舍·瓦尔迪。

弱交替自动机和树自动机为空。 （英语） Zbl 1005.68525号

98年STOC。1998年5月23日至26日在美国德克萨斯州达拉斯举行的第30届ACM计算理论年会论文集。纽约州纽约市：ACM，计算机协会。224-233 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，摘自：第30届ACM计算理论研讨会论文集，STOC'98。美国德克萨斯州达拉斯，1998年5月23日至26日。纽约州纽约市：ACM，计算机协会。224--233（1998年；Zbl 1005.68525）
丹尼斯·塞里安;托马斯·威尔克

在单词上，两个变量和一个量词交替一样强大：\（\text{FO}^2=\Sigma2\cap\Pi_2\）。 （英语） Zbl 1027.68614号

98年STOC。1998年5月23日至26日在美国德克萨斯州达拉斯举行的第30届ACM计算理论年会论文集。纽约州纽约市：ACM，计算机协会。234-240（1998年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Thérien}和\textit{T.Wilke}，摘自：第30届ACM计算理论研讨会论文集，STOC'98。美国德克萨斯州达拉斯，1998年5月23日至26日。纽约州纽约市：ACM，计算机协会。234--240（1998年；Zbl 1027.68614）
沃伊切赫Buszkowski

Ajdukiewicz微积分、波兰记法和希尔伯特式证明。 （英语） Zbl 0966.03027号

Kijania-Placek，Katarzyna（编辑）等人，《利沃夫-瓦沙学派与当代哲学》。会议论文，乌克兰利沃夫（利沃夫），1995年11月15日至17日，波兰华沙，1995年10月19日至21日。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。273, 241-252 (1998).
MSC公司：03B65号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{W.Buszkowski}，Synth。伦敦银行同业拆借利率。273、241--252（1998年；Zbl 0966.03027）
东阳龙

关于强码的结构。 （英语） Zbl 0970.68092号

Shum，Kar Ping（编辑）等人，《半群》。半群及其相关主题国际会议论文，中国昆明，1995年8月18日至23日。新加坡：斯普林格。200-213 (1998).
MSC公司：65年第68季度 2005年5月20日 94B60码
PDF格式BibTeX公司 XML格式引用
\textit{D.Long}，in：半群。半群及其相关主题国际会议论文，中国昆明，1995年8月18-23日。新加坡：斯普林格。200-213（1998；Zbl 0970.68092）
波尔·多莫西;伊藤、马萨米

通过子词的长度对语言进行表征。 （英语） Zbl 0981.68105号

Shum，Kar Ping（编辑）等人，《半群》。半群及其相关主题国际会议论文，中国昆明，1995年8月18日至23日。新加坡：斯普林格。117-129 (1998).
审核人：Y.Kobayashi（Funabashi）
MSC公司：65年第68季度 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{P.Dömösi}和\textit{m.Ito}，in：半群。半群及其相关主题国际会议论文，中国昆明，1995年8月18-23日。新加坡：斯普林格。117-129（1998年；Zbl 0981.68105）
詹姆斯·安德森。

半回缩词及其句法单群。 （英语） Zbl 0976.20037号

Shum，Kar Ping（编辑）等人，《半群》。半群及其相关主题国际会议论文，中国昆明，1995年8月18日至23日。新加坡：斯普林格。1-10 (1998).
审核人：豪尔赫·阿尔梅达（波尔图）
MSC公司：2005年5月20日 20立方米 2015年11月20日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Anderson}，in：半群。半群及其相关主题国际会议论文，中国昆明，1995年8月18-23日。新加坡：斯普林格。1-10（1998年；Zbl 0976.20037）
杜莫夫，A.S。

均质结构中的形式和过程建模。 （英语。俄文原件） Zbl 0967.68524号

多克。数学。 58，第3期，462-464（1998）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 363，No.6，735-737（1998）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Dumov}，Dokl。数学。58，第3号，735--737（1998；Zbl 0967.68524）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 363，No.6，735--737（1998）
法拉德热夫，R.G。;纳吉耶夫，A.T。;I.N.古塞尼诺夫。

双线性序列机器的可诊断性标准。 （英语。俄文原件） Zbl 0959.68526号

多克。数学。 58，第1期，第160-161页（1998年）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 361，No.5，606-607（1998）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Faradzhev}等人，Dokl。数学。58，第1号，606--607（1998；Zbl 0959.68526）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 361，No.5，606--607（1998）
利索维克，L.P。

有限变换器在映射和分形集规范中的应用。 （英语。俄文原件） Zbl 0974.28001号

多克。数学。 57，第1期，第13-15页（1998年）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 358，No.1，19-21（1998）。
审核人：伊利亚·莫尔恰诺夫（格拉斯哥）
MSC公司：28A80型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.P.Lisovik}，多克。数学。57，No.1，19--21（1998；Zbl 0974.28001）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 358，No.1，19--21（1998）
克里斯托夫·韦登巴赫

排序统一和树自动机。 （英语） Zbl 0970.68095号

Bibel，Wolfgang（编辑）等人，《自动扣除》。应用的基础。第一卷：基础、计算和方法。多德雷赫特：Kluwer学术出版社；0-7923-5132-0（套））。申请。日志。序列号。82291-320（1998年）。
MSC公司：65年第68季度 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{C.Weidenbach}，应用。日志。序列号。8291-320（1998年；Zbl 0970.68095）
Shakhbazyan，K.V.公司。;Yu Shoukourian。H。

关于有限图中的过程语言。 （英语。俄文原件） Zbl 0959.68074号

数学杂志。科学。，纽约 101，第4期，3348-3354（2000）; Zap的翻译。诺什。塞明。POMI 248205-215（1998）。
MSC公司：65年第68季度 68问题85 05C85号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.V.Shakhbazyan}和\textit{Yu.H.Shoukourian}，J.Math。科学。，纽约101，No.4，1（1998；Zbl 0959.68074）；Zap的翻译。诺什。塞明。POMI 248205-215（1998）
全文： 内政部
加布里埃尔·奥曼。

生成系统分析的随机方法。 （英语） Zbl 1052.68627号

Rizzi，Alfredo（编辑）等人，《数据科学和分类进展》。1998年7月21日至24日，意大利罗马“La Sapienza”大学，国际船级社联合会（IFCS-98）第六届会议记录。柏林：施普林格出版社（ISBN 3-540-64641-8/pbk）。分类、数据分析和知识组织研究，205-210（1998）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.V.Orman}，in：数据科学和分类进展。1998年7月21日至24日，意大利罗马“La Sapienza”大学，国际船级社联合会（IFCS-98）第六届会议记录。柏林：斯普林格。205-210（1998年；Zbl 1052.68627）
帕斯卡·阿姆西利;安妮·勒·德拉乌列克

DRT框架中否定句的描述。 （英语） Zbl 0959.03017号

Ginzburg，Jonathan（编辑）等人，《第比利斯逻辑、语言和计算研讨会：论文选集》，格鲁吉亚古达乌里，1995年10月19-22日。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。3-17 (1998).
MSC公司：03B65号
PDF格式BibTeX公司 XML格式引用
\textit{P.Amsili}和\textit{A.Le Draoulec}，in：第比利斯逻辑、语言和计算研讨会：论文选，格鲁吉亚古达乌里，1995年10月19-22日。加州斯坦福：CSLI出版物；阿姆斯特丹：欧洲逻辑、语言和信息协会（FoLLI）。3-17（1998；Zbl 0959.03017）
米歇尔·巴博;弗罗杜亚德·卡班扎;理查德·圣丹尼斯

一种用于综合控制器以处理安全性、活性和实时约束的方法。 （英语） Zbl 0986.93040号

IEEE传输。自动。控制 43，第11期，1543-1559（1998）.
审核人：T.Riismaa（塔林）
MSC公司：93元65角 93亿B50 93C83号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Barbeau}等人，IEEE Trans。自动。对照43，编号11543-1559（1998；Zbl 0986.93040）
全文： 内政部
詹姆斯·罗杰斯

描述语言理论复杂性的方法。 （英语） Zbl 0956.03030号

逻辑、语言和信息研究。加利福尼亚州斯坦福：CSLI出版物。阿姆斯特丹：FoLLI:欧洲逻辑、语言和信息协会，x，205 p.（1998）。
审核人：N.Ţnd'e reanu（克雷奥瓦）
MSC公司：03B65号 65年第68季度 68T50型 03-02 68-02
PDF格式BibTeX公司 XML格式引用
\textit{J.Rogers}，一种描述语言理论复杂性的方法。加州斯坦福：CSLI出版物；阿姆斯特丹：FoLLI:欧洲逻辑、语言和信息协会（1998；Zbl 0956.03030）
克里斯蒂安·卡鲁德。;马乔·利普蓬恩

计算互补和sofic转换。《澳大利亚计算机科学通讯》第20卷第3期（1998年）。 （英语） Zbl 0952.68088号

林学敏（编辑），《计算理论》，98年。1998年2月2日至3日，澳大利亚珀斯，第四届澳大拉西亚理论研讨会会议记录——CATS’98。新加坡：斯普林格。277-290 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.S.Calude｝和\textit｛M.Lipponen｝，在：计算理论'98。1998年2月2日至3日，澳大利亚珀斯，第四届澳大拉西亚理论研讨会论文集——CATS`98。新加坡：斯普林格。277--290（1998年；Zbl 0952.68088）
Chebotarev，A.N。

用于检查语言\（{\mathfrak L}\）中公式可满足性的可分分解方法。 （英语。俄文原件） Zbl 0946.68081号

赛博。系统。分析。 34，第6号，794-799（1998）; 翻译自Kibern。修女。分析。1998年，第6期，13-20（1998年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。34，第6号，794--799（1998；Zbl 0946.68081）；翻译自Kibern。修女。分析。1998年，第6号，第13--20号（1998年）
全文： 内政部
亨宁费尔瑙

关于传播分区限制ET0L系统的备注。 （英语） Zbl 0955.68066号

Maurer，Hermann（编辑）等人，《加利福尼亚大学学报》。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张包含完整存档的CD-ROM（Windows和UNIX）。柏林：斯普林格。745-755 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}，收录于：J.UCS。《通用计算机科学杂志》。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张CD-ROM（Windows和UNIX）包含完整存档。柏林：斯普林格。745--755（1998年；Zbl 0955.68066）
彼得·赫特林

析取\（\omega \）-单词和实数。 （英语） Zbl 0955.68065号

Maurer，Hermann（编辑）等人，《加利福尼亚大学学报》。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。带有1张包含完整存档的CD-ROM（Windows和UNIX），1994-1996年。柏林：斯普林格。549-568 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Hertling}，收录于：J.UCS。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张CD-ROM（Windows和UNIX）包含完整存档。柏林：斯普林格。549--568（1998年；Zbl 0955.68065）
卡里、莉拉;Păun，盖奥尔吉;阿尔托萨洛马

使用常规语言中的规则进行受限拼接的能力。 （英语） 兹比尔0956.68080

Maurer，Hermann（编辑）等人，《加利福尼亚大学学报》。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张包含完整存档的CD-ROM（Windows和UNIX）。柏林：斯普林格。224-240 (1998).
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Kari}等人，收录于：J.UCS。通用计算机科学杂志。第2卷，1996年。年度印刷版和光盘存档版。1994-1996年，1张CD-ROM（Windows和UNIX）包含完整存档。柏林：斯普林格。224--240（1998年；Zbl 0956.68080）
Juha Honkala

关于代数级数的象。 （英语） Zbl 0955.68064号

Maurer，Hermann（编辑）等人，《加利福尼亚大学学报》。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张包含完整存档的CD-ROM（Windows和UNIX）。柏林：斯普林格。217-223 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Honkala}，收录于：J.UCS。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张CD-ROM（Windows和UNIX）包含完整存档。柏林：斯普林格。217--223（1998年；Zbl 0955.68064）
JoséL.Balcázar。;何塞普·迪亚兹;里卡德·加瓦尔达;渡边，乌萨木

一种学习DFA的最优并行算法。 （英语） 兹比尔0956.68160

Maurer，Hermann（编辑）等人，《加利福尼亚大学学报》。通用计算机科学杂志。第2卷，1996年。年度印刷版和CD-ROM存档版。1994-1996年，1张包含完整存档的CD-ROM（Windows和UNIX）。柏林：斯普林格。97-112 (1998).
MSC公司：68瓦10 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Balcázar}等人，收录于：J.UCS。通用计算机科学杂志。第2卷，1996年。年度印刷版和光盘存档版。1994-1996年，1张CD-ROM（Windows和UNIX）包含完整存档。柏林：斯普林格。97-112（1998年；Zbl 0956.68160）
琼·米奎尔·维格斯

关于上下文自动机。 （英语） Zbl 0948.68111号

Martín-Vide，Carlos（编辑），自然语言的数学和计算分析。1996年5月2日至4日在西班牙塔拉戈纳举行的第二届数学语言学国际会议（ICML'96）的论文选集。阿姆斯特丹：约翰·本杰明斯出版公司。螺柱。功能。结构。语言学家。45, 95-109 (1998).
MSC公司：65年第68季度 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{J.Miquel-Vergés}，in：自然语言的数学和计算分析。1996年5月2-4日在西班牙塔拉戈纳举行的第二届数学语言学国际会议（ICML’96）上的论文选集。阿姆斯特丹：约翰·本杰明斯出版公司。95-109（1998年；Zbl 0948.68111）
露西恩·伊利

论内部语境语言中的歧义。 （英语） Zbl 0948.68101号

Martín-Vide，Carlos（编辑），自然语言的数学和计算分析。1996年5月2日至4日在西班牙塔拉戈纳举行的第二届数学语言学国际会议（ICML'96）的论文选集。阿姆斯特丹：约翰·本雅明出版公司。螺柱。功能。结构。语言学家。45, 29-45 (1998).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Ilie}，in：自然语言的数学和计算分析。1996年5月2-4日在西班牙塔拉戈纳举行的第二届数学语言学国际会议（ICML’96）上的论文选集。阿姆斯特丹：约翰·本杰明斯出版公司。29-45（1998年；Zbl 0948.68101）
T·艾特。;戈特洛布，G。;Y.古雷维奇。

字符串上的存在二阶逻辑。（扩展摘要）。 （英语） Zbl 0945.03551号

第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。16-27 (1998).
MSC公司：03C85号 03立方厘米13 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，in：第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。16-27（1998年；Zbl 0945.03551）
克劳迪奥·赫米达;麦凯，迈克尔;权力，约翰

高维多重图。 （英语） Zbl 0945.03552号

第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。199-206 (1998).
MSC公司：05年3月 18D05日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Hermida}等人，in：第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。199--206（1998年；Zbl 0945.03552）
皮耶保罗·德加诺（编辑）;乌戈·瓦卡罗（编辑）;朱塞佩·皮里略（编辑）

理论计算机科学。1998年11月9日至11日，意大利普拉托，第六届意大利会议记录，ICTCS’98。 （英语） Zbl 0943.68057号

新加坡：世界科学出版社。x、 第384页（1998年）。
MSC公司：2005年第68季度 68-06 00B25型 65年第68季度 68甲15 第68页第25页 68单位05 65年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Degano}（编辑）等人，《理论计算机科学》。1998年11月9日至11日，意大利普拉托，第六届意大利会议记录，ICTCS’98。新加坡：世界科学出版社（1998；Zbl 0943.68057）
布鲁诺·库塞尔;伊戈尔·瓦卢基维奇

一元二阶逻辑，过渡系统的图覆盖和展开。 （英语） Zbl 0929.03036号

Ann.纯粹应用。逻辑 92，第1期，35-62（1998年）.
审核人：M.Steinby（图尔库）
MSC公司：03B70号 68问题55 05C20号 03C85号 05年3月 65年第68季度 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}和\textit{I.Walukiewicz}，Ann.纯粹应用。逻辑92，编号1，35-62（1998；Zbl 0929.03036）
全文： 内政部
菲利普·达伦多

从形式语言派生无界Petri网。 （英语） Zbl 0940.68097号

Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 533-548 (1998).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Darondeau}，莱克特。注释计算。科学。14661533-548（1998年；兹bl 0940.68097）
D.卢吉兹。;Schnoebelen博士。

对PA过程的常规观点。 （英语） Zbl 0932.68052号

Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 50-66 (1998).
MSC公司：2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Lugiez}和\textit{Ph.Schnoebelen}，莱克托。注释计算。科学。1466，50-66（1998年；兹bl 0932.68052）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件