×

找到71份文件（结果1-71）

最新的 引文 关联
苏珊娜·曼斯基;埃尔萨·甘特。

基于回归测试选择算法的智能类的安全性。 （英语） Zbl 07313965号

Nalon，Cláudia（编辑）等人，《逻辑和语义框架及其应用第15届国际研讨会论文集》，LSFA 2020，虚拟研讨会，2020年8月27日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。351，51-73（2020年）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{S.Mansky}和\textit{E.L.Gunter}，电子。注释Theor。计算。科学。351、51-73（2020；Zbl 07313965）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基

反转Petri网中的步骤。 （英语） Zbl 07796221号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 171-191 (2019).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}等人，Lect。注释计算。科学。11522、171--191（2019；Zbl 07796221）
全文： 内政部 链接
费迪南德·维斯利;凯萨琳·费希尔

一次一步。小步计算器与大步计算器的函数派生。 （英语） Zbl 1524.68184号

Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11423205-231（2019年）。
MSC公司：68问题55 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{F.Vesely}和\textit{K.Fisher}，莱克特。注释计算。科学。11423205-231（2019年；Zbl 1524.68184）
全文： 内政部
码头Kleijn;马西耶·库特尼;Marta Pietkiewicz-Koutny

具有全局操作和局部性的Petri网的合成。 （英语） Zbl 1422.68171号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 103-120 (2016).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}等人，Lect。注释计算。科学。9965103--120（2016年；兹比尔1422.68171）
全文： 内政部 链接
罗伯托·戈里埃里;克里斯蒂安·维萨里

并发理论简介。过渡系统和CCS。 （英语） Zbl 1333.68001号

理论计算机科学课文。EATCS系列查姆：施普林格（ISBN 978-3-319-21490-0/hbk；978-3-3169-21491-7/电子书）。xi，第334页。(2015).
审核人：佩德罗·桑切斯·特拉夫（科尔多瓦）
MSC公司：68-01 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.Gorrieri｝和\textit｛C.Versari｝，并发理论导论。过渡系统和CCS。查姆：斯普林格（2015；Zbl 1333.68001）
全文： 内政部
朱利安·克雷丁;雷米，迪迪埃

具有强制约束的系统F。 （英语） Zbl 1394.03025号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第34号论文，第10页（2014年）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Cretin}和\textit{D.Rémy}，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，2014年7月14日至18日，奥地利维也纳，LICS 2014。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第34号论文，第10页（2014；Zbl 1394.03025）
全文： 内政部 哈尔
莱昂纳多·罗德里格斯;丹尼尔·弗里德兰德;米盖尔·帕加诺

Krivine机器的一个认证扩展，用于调用名的高阶命令式语言。 （英语） Zbl 1359.68047号

Matthes，Ralph（ed.）等人，第19届国际证明和程序类型会议，types 2013，法国图卢兹，2013年4月22日至26日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-72-9）。LIPIcs–莱布尼茨国际信息学论文集26，230-250（2014）。
MSC公司：68N20型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.Rodríguez}等人，LIPIcs——莱布尼茨国际程序。通知。26230-250（2014；Zbl 1359.68047）
全文： 内政部
阿德里安·里斯科

在Maude中使用大步骤和小步骤语义来执行声明性调试。 （英语） Zbl 1416.68044号

Codish，Michael（编辑）等人，《函数与逻辑编程》。2014年6月4日至6日，第十二届国际研讨会，FLOPS 2014，日本金泽。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8475, 52-68 (2014).
MSC公司：68甲18 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Riesco}，莱克特。注释计算。科学。8475，52-68（2014；Zbl 1416.68044）
全文： 内政部
巴赫·鲍尔森，卡斯珀;彼得·莫塞斯（Peter D.Mosses）。

从小步语义派生出漂亮的大步语义。 （英语） Zbl 1405.68173号

Shao，Zhong（编辑），《编程语言与系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410270-289（2014）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{C.巴赫·鲍尔森}和\textit{P.D.苔藓}，莱克特。注释计算。科学。8410270-289（2014年；Zbl 1405.68173）
全文： 内政部
汉娜·克劳代尔;马西耶·库特尼;段振华

盒代数的区间时序逻辑语义。 （英语） 兹比尔1407.68334

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8370, 441-452 (2014).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Klaudel}等人，Lect。注释计算。科学。8370、441--452（2014年；Zbl 1407.68334）
全文： 内政部 链接
马西耶·库特尼;乌卡斯·米库尔斯基;Marta Pietkiewicz-Koutny

持续和非暴力步骤的分类。 （英语） Zbl 1381.68208号

Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，PETRI NETS 2013，意大利米兰，2013年6月24日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927210-229（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}等人，Lect。注释计算。科学。7927，210-229（2013；Zbl 1381.68208）
全文： 内政部 链接
码头Kleijn;马西耶·库特尼

Petri网扩展中的因果关系。 （英语） Zbl 1382.68150号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》VII。柏林：施普林格出版社（ISBN 978-3-642-38142-3/pbk）。计算机科学课堂讲稿7480。《期刊副刊》，225-254（2013）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛J.Kleijn｝和\textit｛M.Koutny｝，Lect。注释计算。科学。7480，225--254（2013；Zbl 1382.68150）
全文： 内政部
罗伯特·多金斯;霍博尔，阿奎那

通用函数指针的时间界限。 （英语） Zbl 1342.68080号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286139-155（2012）。
MSC公司：68号30 03B70号 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Dockins}和\textit{A.Hobor}，电子。注释Theor。计算。科学。286139-155（2012年；Zbl 1342.68080）
全文： 内政部
拉尔斯·比克达尔;莫格尔贝里，拉斯穆斯·埃杰勒斯;施温哈默（Jan Schwinghammer）;克里斯蒂安·斯托夫林

合成保护域理论的第一步：树拓扑的阶跃诱导。 （英语） Zbl 1269.03035号

日志。方法计算。科学。 8，第4号，第1号文件，第45页（2012年）.
MSC公司：03B70号 03G30型 18对25 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，日志。方法计算。科学。8，第4号，第1号论文，45页（2012；Zbl 1269.03035）
全文： 内政部 arXiv公司
马西耶·库特尼;Marta Pietkiewicz-Koutny

带局部Petri网的综合问题。 （英语） Zbl 1350.68203号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》V.Berlin:Springer（ISBN 978-3-642-29071-8/pbk）。计算机科学6900课堂讲稿。《期刊副刊》，160-180（2012）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.库特尼}和\textit{M.Pietkiewicz-Koutny}，莱克特。注释计算。科学。6900、160-180（2012年；Zbl 1350.68203）
全文： 内政部 链接
亚历山大·布伊斯;拉尔斯·比克达尔

可存储锁分离逻辑的阶跃Kripke模型。 （英语） Zbl 1342.68075号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276121-143（2011）。
MSC公司：68号30 03B70号 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Buisse}和\textit{L.Birkedal}，电子。注释Theor。计算。科学。276121-143（2011；Zbl 1342.68075）
全文： 内政部
拉尔斯·比克达尔;罗伊斯，伯恩哈德;施温哈默（Jan Schwinghammer）;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡;杨红seok

递归世界上的阶跃Kripke模型。 （英语） Zbl 1284.68102号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。119-132 (2011).
MSC公司：68甲15 03B70号 68号30 68问题55 第54页第35页
PDF格式BibTeX公司 XML格式引用
\textit｛L.Birkedal｝等人，在：第38届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。119-132（2011年；Zbl 1284.68102）
全文： 内政部 链接
码头Kleijn;马西耶·库特尼

并发的互斥范式。 （英语） Zbl 1330.68209号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709228-247（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。6709228--247（2011年；Zbl 1330.68209）
全文： 内政部
霍博尔，阿奎那;罗伯特·多金斯;安德鲁·W·阿佩尔。

通过近似间接的理论。 （英语） Zbl 1312.68060号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-479-9）。171-184 (2010).
MSC公司：68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Hobor}等人，摘自：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。171——184（2010；Zbl 1312.68060）
全文： 内政部
德雷克·德雷尔;乔治·奈斯;拉尔斯·比克达尔

高阶状态和控制效果对局部关系推理的影响。 （英语） Zbl 1323.68203号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，143-156（2010）。
MSC公司：68号30 68甲18 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Dreyer}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27-29日。纽约州纽约市：计算机协会（ACM）。143-156（2010年；Zbl 1323.68203）
全文： 内政部
王，云和;焦、李

Petri网的规范转换集语义。 （英语） Zbl 1285.68115号

Lilius，Johan（编辑）等人，《Petri网的应用和理论》。2010年6月21日至25日，第31届国际会议，PETRI NETS 2010，葡萄牙布拉加。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13674-0/pbk）。计算机科学课堂讲稿612884-103（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}和\textit{L.Jiao}，Lect。注释计算。科学。612884-103（2010年；Zbl 1285.68115）
全文： 内政部
码头Kleijn;马西耶·库特尼

将步骤覆盖树应用于基于组件的通信系统。 （英语） Zbl 1274.68240号

Arbab，Farhad（编辑）等人，《软件工程基础》，第三届IPM国际会议，FSEN 2009，伊朗基什岛，2009年4月15日至17日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11622-3/pbk）。计算机科学课堂讲稿5961178-193（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。5961178--193（2010年；Zbl 1274.68240）
全文： 内政部
戴尔·米勒

在逻辑中形式化操作语义规范。 （英语） Zbl 1347.68213号

Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246147-165（2009）。
MSC公司：68问题55 03B70号 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Miller}，电子。注释Theor。计算。科学。246147--165（2009年；Zbl 1347.68213）
全文： 内政部
尼克·本顿;中基尔胡尔

双正交性、阶跃诱导和编译器正确性。 （英语） Zbl 1302.68083号

2009年8月31日至9月2日在英国爱丁堡举行的第14届ACM SIGPLAN功能编程国际会议记录，ICFP'09。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-332-7）。ACM SIGPLAN通知44，第9号，97-108（2009）。
MSC公司：68N20型 68甲18 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Benton}和\textit{C.-K.Hur}，摘自：第14届ACM SIGPLAN函数式编程国际会议论文集，ICFP'09，英国爱丁堡，2009年8月31日至9月2日。纽约州纽约市：计算机协会（ACM）。97-108（2009年；Zbl 1302.68083）
全文： 内政部
码头Kleijn;马西耶·库特尼

抑制剂网的步骤和覆盖性。 （英语） Zbl 1194.68161号

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。264-295 (2009).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。264--295（2009年；Zbl 1194.68161）
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

类型闭合转换保持了观测等价性。 （英语） Zbl 1323.68350号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，157-168（2008）。
MSC公司：68问题55 68甲15 68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}和\textit{M.Blume}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。157--168（2008年；Zbl 1323.68350）
全文： 内政部
乌穆特·阿卡尔。;阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

强制自调整计算。 （英语） Zbl 1295.68075号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。309-322 (2008).
MSC公司：68号30 68甲15 68甲18 68问题55 68兰特 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛U.A.Acar｝等人，载于：第35届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。309--322（2008年；Zbl 1295.68075）
全文： 内政部
帕特里克·库索特;拉迪亚·库索特

双诱导结构语义（扩展抽象）。 （英语） Zbl 1278.68141号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，29-44（2007）。
MSC公司：68问题55 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}和\textit{R.Cousot}，电子。注释Theor。计算。科学。192，编号1，29-44（2007；Zbl 1278.68141）
全文： 内政部
克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西;斯特凡诺·扎奇罗利

小人物：一步一步的战术。 （英语） Zbl 1278.68253号

Autexier，Serge（编辑）等人，第七届定理证明器用户界面研讨会论文集（UITP 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第2期，125-142（2007）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Coen}等人，《电子》。注释Theor。计算。科学。174，编号2，125--142（2007；Zbl 1278.68253）
全文： 内政部
马西耶·库特尼;Pietkiewicz Koutny，玛尔塔

具有上下文ARCS和位置的基本网络系统的合成。 （英语） Zbl 1226.68061号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546281-300（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.库特尼}和\textit{M.Pietkiewicz-Koutny}，莱克特。注释计算。科学。4546、281--300（2007年；Zbl 1226.68061）
全文： 内政部
斯蒂芬·罗奇;卡斯滕·施密特

关于台阶爆炸问题。 （英语） 12346.8307兹比尔

Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用和理论国际会议，2006年6月26日至30日，芬兰图尔库。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。计算机科学课堂讲稿4024342-361（2006）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Roch}和\textit{K.Schmidt}，莱克特。注释计算。科学。4024342--361（2006年；Zbl 1234.68307）
全文： 内政部
H.C.M.克莱因。;M.库特尼。

约束网络的无限过程语义。 （英语） Zbl 1234.68302号

Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用和理论国际会议，2006年6月26日至30日，芬兰图尔库。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。《计算机科学讲义》4024282-301（2006）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.C.M.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。4024282--301（2006年；Zbl 1234.68302）
全文： 内政部
马西耶·库特尼;Marta Pietkiewicz-Koutny

具有位置的基本网络系统的转换系统。 （英语） Zbl 1151.68538号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。2006年8月27日至30日，德国波恩，2006年第17届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学课堂讲稿4137173-187（2006）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.库特尼}和\textit{M.Pietkiewicz-Koutny}，莱克特。注释计算。科学。4137173-187（2006年；Zbl 1151.68538）
全文： 内政部
G.M.比尔曼。

对\（lambda\mu\）-演算的计算解释。 （英语） Zbl 0912.03009号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1450, 336-345 (1998).
MSC公司：03B40型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Bierman}，莱克特。注释计算。科学。1450、336--345（1998年；Zbl 0912.03009）
安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆

用于状态图语义的图重写框架。 （英语） Zbl 1412.68111号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1073, 107-121 (1996).
MSC公司：2012年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Maggiolo-Schettini}和\textit{A.Peron}，莱克特。注释计算。科学。1073、107-121（1996年；Zbl 1412.68111）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件