×

找到15个文档（结果1-15）

最新的 引文 关联
安德烈亚·科拉迪尼;Maryam Ghaffari萨达特;瑞科·赫克尔

使用补码在安全图文法中对增量NAC进行编码。 （英语） Zbl 07456052号

Hoffmann，Berthold（ed.）等人，第十一届图形计算模型国际研讨会论文集，GCM 2020，在线车间，2020年6月24日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）330、88-107（2020）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，《电子》。程序。理论。计算。科学。（EPTCS）330、88--107（2020；Zbl 07456052）
全文： arXiv公司 链接
吉尔赫梅·格罗肖·阿兹（Guilherme Grochau Azzi）;安德烈亚·科拉迪尼;莱拉·里贝罗

关于（mathcal{M}）-粘合剂转化系统中冲突的本质和初始性。 （英语） Zbl 1435.68131号

J.日志。阿尔盖布。方法计划。 109，文章ID 100482，32 p.（2019）.
MSC公司：2012年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{G.G.Azzi}等人，J.Log。阿尔盖布。方法计划。109，文章ID 100482，32 p.（2019；Zbl 1435.68131）
全文： 内政部
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗

AGREE转换中的并行性。 （英语） Zbl 1344.68106号

Echahed，Rachid（编辑）等人，《图形变换》。2016年7月5日至6日，作为2016年STAF的一部分，在奥地利维也纳举行了第九届2016年ICGT国际会议，以纪念Hartmut Ehrig。诉讼程序。查姆：施普林格（ISBN 978-3-319-40529-2/pbk；978-3-3169-40530-8/电子书）。计算机科学课堂讲稿9761，37-53（2016）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。9761，37-53（2016；Zbl 1344.68106）
全文： 内政部 链接
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗

AGREE–带受控嵌入的代数图重写。 （英语） Zbl 1321.68327号

Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。计算机科学讲义9151，35-51（2015）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。9151，35-51（2015；Zbl 1321.68327）
全文： 内政部 arXiv公司 链接
保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基

过程和展开：粘合剂类别中的并发计算。 （英语） Zbl 1342.68223号

数学。结构。计算。科学。 24，第4号，文章ID e240402，51 p.（2014）.
MSC公司：第68季度85 18A35型 18A40型 18B20型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，数学。结构。计算。科学。24，第4号，文章ID e240402，51 p.（2014；Zbl 1342.68223）
全文： 内政部
安德烈亚·科拉迪尼;法比奥·加杜奇;莱拉·里贝罗

图形转换机构。 （英语） Zbl 1312.68112号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137160-174（2012）。
MSC公司：2012年第68季度 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。7137，160-174（2012；Zbl 1312.68112）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基

粘合剂类别中的展开语法。 （英语） Zbl 1239.68036号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。2009年9月7日至10日，意大利乌迪内，第三届国际会议，CALCO 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728350-366（2009）。
MSC公司：2012年第68季度 18 C50 68问题55 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5728350-366（2009年；Zbl 1239.68036）
全文： 内政部 链接
安德烈亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗

交互式系统规范的依赖图转换。 （英语） Zbl 1253.68192号

Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486102-118（2009）。
MSC公司：2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。5486、102--118（2009年；Zbl 1253.68192）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格

展开图变换系统：理论和验证应用。 （英语） Zbl 1143.68422号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿506516-36（2008）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5065,16--36（2008年；Zbl 1143.68422）
全文： 内政部
安德烈亚·科拉迪尼

乌戈·蒙塔纳里和图变换。 （英语） Zbl 1143.68424号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065,9-15（2008）。
MSC公司：2012年第68季度 68-03 01A60型 01A70型
PDF格式BibTeX公司 XML格式引用
\文本｛A.Corradini｝，Lect。注释计算。科学。5065、9--15（2008年；Zbl 1143.68424）
全文： 内政部
安德烈亚·科拉迪尼;费尔南多·路易斯·多蒂;莱拉·里贝罗

关于使用移动代码的应用程序规范的图形转换视图。 （英语） 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件