×

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

最新的 引文 关联
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺

树分解图的代数。 （英文） Zbl 1502.68213号

Gadducci，Fabio（编辑）等人，《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议，ICGT 2020，作为STAF 2020的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12150203-220（2020年）。
MSC公司：68兰特 05二氧化碳 05C25号 2012年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。12150203-220（2020；Zbl 1502.68213）
全文： 内政部
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺

网络意识\（\pi\）-微积分——糕点的一个模型。 （英文） Zbl 1342.68236号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312，3-17，仅电子版（2015）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{M.Sammartino}，电子。注释Theor。计算。科学。312,3-17（2015；Zbl 1342.68236）
全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺

最后是因果树。 （英文） Zbl 1434.68323号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 27-43 (2015).
MSC公司：68问题85 18 C50 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。9465，27-43（2015；Zbl 1434.68323）
全文： 内政部 链接
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

有状态连接器的标准形式。 （英文） 兹比尔1321.68357

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，205-227（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。9200，205-227（2015；Zbl 1321.68357）
全文： 内政部 链接
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

从层次BIP到Petri演算。 （英文） Zbl 1416.68111号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 54-68 (2014).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。8415，54-68（2014；Zbl 1416.68111）
全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

行为、相互作用和动力学。 （英文） Zbl 1407.68098号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373382-401（2014年）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。8373382--401（2014；Zbl 1407.68098）
全文： 内政部 链接
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺

网络意识\（\pi\）-演算：一种并发语义。 （英文） Zbl 1342.68235号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286291-306（2012）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{M.Sammartino}，电子。注释Theor。计算。科学。286291-306（2012年；Zbl 1342.68235）
全文： 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

P/T网络交互的连接器代数。 （英文） 兹伯利1344.68161

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901、312-326（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。6901312--326（2011；Zbl 1344.68161）
全文： 内政部
文森佐·西安西亚;亚历山大·库兹;乌戈·蒙塔纳里

对称族是资源绑定的有效模型。 （英文） Zbl 1247.68172号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，63-81（2010）。
MSC公司：第68季度第65季度 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，《电子》。注释Theor。计算。科学。264，编号2，63--81（2010；Zbl 1247.68172）
全文： 内政部
罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里

关于嵌套图的GS-单体理论。 （英文） Zbl 1309.68147号

Gregor（编辑）Engels等人，《图形转换和模型驱动工程》，在Manfred Nagl 65岁生日之际发表的论文。柏林：施普林格出版社（ISBN 978-3-642-17321-9/pbk）。计算机科学课堂讲稿5765，59-86（2010）。
MSC公司：68兰特 18A10号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。5765、59-86（2010年；Zbl 1309.68147）
全文： 内政部
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里

用Maude重写分层设计。 （英文） Zbl 1347.68072号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，45-62（2009）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。238，第3号，45-62（2009；Zbl 1347.68072）
全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里

协代数符号语义。 （英文） Zbl 1239.68049号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728173-190（2009）。
MSC公司：68问题85 68问题55 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{U.Montanari}，莱克特。注释计算。科学。5728173--190（2009年；Zbl 1239.68049）
全文： 内政部
法哈德·阿尔巴;罗伯托·布鲁尼;克拉克，戴夫;伊万·拉内斯;乌戈·蒙塔纳里

Reo的平铺。 （英文） Zbl 1253.68090号

Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，37-55（2009）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Arbab}等人，Lect。注释计算。科学。5486、37-55（2009年；Zbl 1253.68090）
全文： 内政部 链接
文森佐·西安西亚;乌戈·蒙塔纳里

命名集的名称抽象函子。 （英文） Zbl 1279.68052号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，第49-70页（2008年）。
MSC公司：68号30 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}和\textit{U.Montanari}，电子。注释Theor。计算。科学。203，第5号，49-70（2008；Zbl 1279.68052）
全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里

无功系统的一种代数理论。 （英文） Zbl 1279.68249号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209201-215（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{U.Montanari}，电子。注释Theor。计算。科学。209201--215（2008；Zbl 1279.68249）
全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里

G-反应系统作为余代数。 （英文） Zbl 1277.68163号

Ehrig，H.（ed.）等人，应用和计算范畴理论第二次研讨会论文集（ACCAT 2007），葡萄牙布拉加，2007年3月25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第6期，第3-17页（2008年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bonchi｝和\textit｛U.Montanari｝，电子。注释Theor。计算。科学。203，第6号，第3-17号（2008；Zbl 1277.68163）
全文： 内政部
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里

用于并发约束pi演算的开放式互模拟。 （英文） Zbl 1133.68384号

Sophia Drossopoulou（编辑），《编程语言和系统》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第17届欧洲编程研讨会（ESOP 2008）是欧洲软件理论与实践联合会议（ETAPS 2008）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960254-268（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Buscemi}和\textit{U.Montanari}，莱克特。注释计算。科学。4960254--268（2008年；Zbl 1133.68384）
全文： 内政部
保罗·巴尔丹;法比奥·加杜奇;乌戈·蒙塔纳里

使用具有等价关系的图来建模具有名称迁移的计算。 （英文） Zbl 1278.68211号

Ian Mackie（编辑），第三届术语图改写国际研讨会论文集（TERMGRAPH 2006），奥地利维也纳，2006年4月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第1期，85-97（2007）。
MSC公司：68问题85 2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《电子》。注释Theor。计算。科学。176，编号1，85--97（2007；Zbl 1278.68211）
全文： 内政部
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里

融合演算片段的组合拼合模型。 （英文） Zbl 1316.68090号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162135-139（2006）。
MSC公司：68问题85 2012年第68季度 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Buscemi}和\textit{U.Montanari}，电子。注释Theor。计算。科学。162、135——139（2006年；Zbl 1316.68090）
全文： 内政部
罗伯托·布鲁尼;何塞·梅塞盖尔;乌戈·蒙塔纳里

在重写逻辑中平铺事务。 （英文） Zbl 1272.68291号

Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，90-109（2004）。
MSC公司：68问题85 2012年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。71、90-109（2004年；Zbl 1272.68291）
全文： 链接
马蒂奥·科西亚;法比奥·加杜奇;乌戈·蒙塔纳里

GS\（\cdot\Lambda\）理论：高阶图的语法。 （英文） Zbl 1270.68123号

Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，83-100（2003）。
MSC公司：2012年第68季度 03G30型 18立方厘米 18天10分 18D20天
PDF格式BibTeX公司 XML格式引用
\textit{M.Coccia}等人，《电子》。注释Theor。计算。科学。69、83——100（2003年；Zbl 1270.68123）
全文： 内政部
法比奥·加杜奇;皮耶朱利奥·凯蒂斯;乌戈·蒙塔纳里;尼科莱塔·萨巴迪尼;罗伯特·F·C·沃尔特斯。

通过Hoare-style过程演算比较cospan-span和tile。 （英文） Zbl 1268.68126号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62157-176（2002）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛F.Gadducci｝等人，电子。注释Theor。计算。科学。62、157--176（2002年；Zbl 1268.68126）
全文： 内政部
法比奥·加杜奇;乌戈·蒙塔纳里

移动环境的并发图语义。 （英文） Zbl 1260.68094号

Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，88-105（2001）。
MSC公司：68号30 2012年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{U.Montanari}，电子。注释Theor。计算。科学。45、88——105（2001年；Zbl 1260.68094）
全文： 内政部
乌戈·蒙塔纳里;马尔科·皮斯托雷

历史-保护互模拟的最小转换系统。 （英文） Zbl 1498.68190号

Reischuk，Rüdiger（编辑）等人，STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日，德国吕贝克。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1200, 413-425 (1997).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{M.Pistore}，莱克特。注释计算。科学。1200、413--425（1997年；Zbl 1498.68190）
全文： 内政部
科拉迪尼，A。;埃里格，H。;Löwe，M。;美国蒙塔纳里。;J.帕德伯格。

类型化图文法的范畴及其带有派生范畴的附加词。 （英文） Zbl 1412.68099号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1073, 56-74 (1996).
MSC公司：2012年第68季度 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。1073、56-74（1996年；Zbl 1412.68099）
全文： 内政部
科拉迪尼，A。;F.加杜奇。;美国蒙塔纳里。

将术语重写的两种分类模型联系起来。 （英文） 兹比尔1508.68146

项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。914, 225-240 (1995).
MSC公司：2012年第68季度 03B70号 18立方厘米 18N10型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。914225-240（1995年；Zbl 1508.68146）
全文： 内政部
Gianluigi法拉利;乌戈·蒙塔纳里;保拉·夸里亚

带有显式替换的（pi）演算：后期语义。 （英文） Zbl 1493.68244号

Privara，Igor（编辑）等人，《1994年计算机科学的数学基础》。1994年8月22日至26日，斯洛伐克科希策，第19届国际研讨会，MFCS’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。841, 342-351 (1994).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛G.Ferrari｝等人，Lect。注释计算。科学。841342--351（1994年；Zbl 1493.68244）
全文： 内政部
乌戈·蒙塔纳里;弗朗西斯卡·罗西

上下文发生网和并发约束编程。 （英文） Zbl 1494.68183号

Schneider，Hans Jürgen（编辑）等人，《计算机科学中的图形变换》。1993年1月4日至8日，德国达格斯图尔城堡国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。776, 280-295 (1994).
MSC公司：68问题85 68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{F.Rossi}，莱克特。注释计算。科学。776280-295（1994年；Zbl 1494.68183）
全文： 内政部
乌戈·蒙塔纳里;丹尼尔·扬克列维奇

位置的参数化方法。 （英文） Zbl 1427.68207号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 617-628 (1992).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{D.Yanklevich}，莱克特。注释计算。科学。623617-628（1992年；Zbl 1427.68207）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件