×

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

最新的 引文 关联
朱利安·萨拉曼卡;马塞洛·邦桑格;朱里安·罗特

通过反变附加的方程和系数的对偶性。 （英语） Zbl 1475.18005号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。960873-93（2016年）。
MSC公司：18二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{J.Salamanca}等人，Lect。注释计算。科学。9608，73-93（2016；Zbl 1475.18005）
全文： 内政部 链接
朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;简·拉特;亚历山德拉·席尔瓦

增强的协同脑互模拟。 （英语） Zbl 1380.68300号

数学。结构。计算。科学。 27，第7期，1236-1264（2017）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 18B20型 18立方厘米 18 C50 68问题55 第68季度第70季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rot}等人，数学。结构。计算。科学。27，第7号，1236--1264（2015；Zbl 1380.68300）
全文： 内政部
朱利安·萨拉曼卡;马塞洛·邦桑格;简·拉特

加权自动机的方程和等式。 （英语） Zbl 1465.68186号

Italiano，F.（编辑）等人，《计算机科学数学基础》2015。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 444-456 (2015).
MSC公司：第68季度第70季度
PDF格式BibTeX公司 XML格式引用
\文本{J.Salamanca}等人，Lect。注释计算。科学。9234、444--456（2015年；Zbl 1465.68186）
全文： 内政部 链接
J.萨拉曼卡。;芭蕾舞演员Bolinches，A。;M.M.邦桑格。;Cosme-Llópez，E。;J.J.M.M.鲁顿。

自动机和等式的正则变体。 （英语） Zbl 1432.68270号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 224-237 (2015).
MSC公司：第68季度第70季度 08B05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Salamanca}等人，Lect。注释计算。科学。9129，224--237（2015；Zbl 1432.68270）
全文： 内政部 链接
海宁·巴索尔德;马塞洛·邦桑格;Helle Hvid Hansen先生;简·拉特

信号流图的代数特征。 （英语） Zbl 1407.68183号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际献给他的散文。柏林：斯普林格。莱克特。注释计算。科学。8464, 124-145 (2014).
MSC公司：2010年第68季度 18B20型 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}等人，Lect。注释计算。科学。8464，124--145（2014；Zbl 1407.68183）
全文： 内政部 链接
菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登，普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦

Brzozowski最小化算法中的代数-代数对偶。 （英语） Zbl 1288.68174号

ACM事务处理。计算。日志。 第15号第1条第3条第29页（2014年）.
MSC公司：第68季度第70季度 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，ACM Trans。计算。日志。15，第1号，第3条，29页（2014年；Zbl 1288.68174）
全文： 内政部 链接
斯特凡·米利厄斯;马塞洛·M·邦桑格。;罗伯特·S·R·迈尔斯。;朱里安·罗特

合理的运营模式。 （英语） Zbl 1334.68137号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298257-282（2013）。
MSC公司：68问题65 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，《电子》。理论注释。计算。科学。298257-282（2013年；Zbl 1334.68137）
全文： 内政部
菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;简·拉特;亚历山德拉·席尔瓦

修饰痕迹的最终语义。 （英语） Zbl 1342.68224号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记28673-86（2012）。
MSC公司：68问题85 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《电子》。理论注释。计算。科学。28673--86（2012年；Zbl 1342.68224）
全文： 内政部
马塞洛·邦桑格;乔治亚娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;简·拉特;亚历山德拉·席尔瓦

广义正则表达式双相似性的判定过程。 （英语） Zbl 1325.68127号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，226-241（2011）。
MSC公司：65年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bonsangue｝等人，Lect。注释计算。科学。6527，226--241（2011；Zbl 1325.68127）
全文： 内政部 链接
菲利波·邦奇;马塞洛·邦桑格;简·拉特;亚历山德拉·席尔瓦

导出定量规则行为的语法和公理。 （英语） Zbl 1254.68129号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710146-162（2009）。
MSC公司：65年第68季度 68问题65 第68季度第70季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。5710、146--162（2009年；Zbl 1254.68129）
全文： 内政部
马塞洛·邦桑格;简·拉特;亚历山德拉·席尔瓦

多项式余代数的Kleene定理。 （英语） Zbl 1234.68272号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504122-136（2009）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bonsangue｝等人，Lect。注释计算。科学。5504122-136（2009年；兹比尔12346.8272）
全文： 内政部
穆罕默德·伊扎迪;马塞洛·M·邦桑格。

将约束自动机重铸为Büchi自动机。 （英语） Zbl 1161.68538号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160156-170（2008）。
MSC公司：65年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Izadi}和\textit{M.Bonsange}，莱克特。注释计算。科学。5160、156-170（2008年；Zbl 1161.68538）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件