×

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

最新的 引文 关联
陈晓静；楚、文昌

\通过将Carlitz反演应用于（q）-Pfaff-Saalschütz定理，对（pi）-级数进行（q）-类比。 （英语） Zbl 07795659号

控制离散数学。 18，编号2，91-112（2023）.
审核人：罗伯特·科斯塔斯·桑托斯（塞维利亚）
MSC公司：第33天第15天 05A30型 05A10号 11个B65
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}和\textit{W.Chu}，Contrib.离散数学。18，编号2，91-112（2023；Zbl 07795659）
全文： arXiv公司 链接
西尔维娅·吉勒赞；约万卡·潘托维奇；伊万·普罗基奇；阿尔切斯特·斯卡拉斯；吉田、Nobuko

异步多方会话的精确子类型。 （英语） Zbl 07672673号

ACM事务处理。计算。日志。 24，第2条，第14条，73页（2023年）.
MSC公司：03B70号 68年XX月
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilezan}等人，ACM Trans。计算。日志。24，第2号，第14条，73页（2023；Zbl 07672673）
全文： 内政部 arXiv公司
OA许可证
弗雷德里克·布兰基；Gilles Dowek；艾米丽·格里恩伯格；加布里埃尔·霍德特；弗朗索瓦·瑟雷

类型理论的模块化结构。 （英语） Zbl 1522.03041号

日志。计算方法。科学。 19，第1号，第12号论文，28页（2023年）.
审核人：Łukasz Czajka（多特蒙德）
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}等人，日志。计算方法。科学。19，第1号，第12号论文，28页（2023年；Zbl 1522.03041）
全文： 内政部 arXiv公司
OA许可证
吉勒姆·贾伯；戴维·桑吉奥吉

游戏、移动流程和功能。 （英语） Zbl 07830381号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第25条，第18页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛G.Jaber｝和\textit｛D.Sangiorgi｝，LIPIcs——莱布尼茨国际期刊。通知。216，第25条，第18页（2022；兹bl 07830381）
全文： 内政部
杰夫·汉密尔顿。；本杰明·阿齐兹

排除：转换\（\pi\）-演算规范以删除内部通信。 （英语） Zbl 1528.68252号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 109-123 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}和\textit{B.Aziz}，莱克特。注释计算。科学。13768、109-123（2022年；Zbl 1528.68252）
全文： 内政部
帕特里克·贝洛特；亚历克西斯·盖塞伦；直纪小林

大小类型，用于Pi-calculus过程的并行复杂性。 （英语） Zbl 07730636号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第34条，第22页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}等人，LIPIcs——莱布尼茨国际程序。通知。203，第34条，22 p.（2021；Zbl 07730636）
全文： 内政部 arXiv公司
肯·萨卡约里；津田，武士

无延迟输出：与范畴语义兼容的\（\pi\）-演算。 （英语） Zbl 07700637号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第32条，第22页（2021年）。
MSC公司：68年XX月 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Sakayori}和\textit{T.Tsukada}，LIPIcs——莱布尼茨国际程序。通知。195，第32条，第22页（2021；兹bl 07700637）
全文： 内政部
约瑟夫·保卢斯（Joseph W.N.Paulus）。；丹尼尔·南特斯·索布里尼奥；佩雷斯（Jorge A.Pérez）。

非确定性作为非确定性过程发挥作用。 （英语） Zbl 07700626号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第21条，第22页（2021年）。
MSC公司：68年XX月 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.W.N.Paulus}等人，LIPIcs——莱布尼茨国际程序。通知。195，第21条，22 p.（2021；Zbl 07700626）
全文： 内政部 arXiv公司
乌玛·扎拉坎；奥尔内拉·达达

\（pi）与剩菜：阿格达的机械化。 （英语） Zbl 1490.68143号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 157-174 (2021).
MSC公司：68问题85 03B70号 68号30 60年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛U.Zalakain｝和\textit｛O.Dardha｝，Lect。注释计算。科学。12719、157--174（2021年；Zbl 1490.68143）
全文： 内政部 arXiv公司
温·科克；奥尔内拉·达达

优先考虑最佳变体。 （英语） Zbl 1490.68141号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 100-119 (2021).
MSC公司：68问题85 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{W.Kokke}和\textit{O.Dardha}，莱克特。注释计算。科学。12719，100-119（2021；Zbl 1490.68141）
全文： 内政部 arXiv公司 链接
帕特里克·贝洛特；亚历克西斯·盖塞伦

像素计算中并行计算复杂性的类型。 （英语） Zbl 1473.68111号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 59-86 (2021).
MSC公司：68问题85 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}和\textit{A.Ghyselen}，莱克特。注释计算。科学。12648，59-86（2021；Zbl 1473.68111）
全文： 内政部 哈尔
乔治·埃戈里切夫。；谢尔盖·科列斯尼科夫。；弗拉基米尔·列昂蒂耶夫。

霍尔交换子理论中的积分表示和多重组合和的计算。 （英语） Zbl 07334138号

J.西布。联邦大学数学系。物理学。 第14期，第1期，第12-20期（2021年）.
MSC公司：20天60天 2016年5月 2012年1月20日 20日20时
PDF格式BibTeX公司 XML格式引用
\textit{G.P.Egorychev}等人，J.Sib。联邦大学数学系。物理学。14，编号1，12--20（2021；Zbl 07334138）
全文： 内政部 MNR公司
基拉库米纳米

追踪等价和认知逻辑来表示安全属性。 （英语） Zbl 1511.68185号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 115-132 (2020).
MSC公司：68问题85 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.Minami}，莱克特。注释计算。科学。12136115-132（2020年；兹比尔1511.68185）
全文： 内政部 arXiv公司
Lavín-Delgado，J.E。；Chávez-Vázquez，S。；Gómez-Aguilar，J.F。；德尔加多·雷耶斯，G。；Ruíz-Jaimes，医学硕士。

基于分数阶无源性的scara型机器人自适应控制器。 （英语） Zbl 1482.93311号

分形 28，第8号，文章ID 2040008，22 p.（2020）.
MSC公司：93C40型 93立方厘米 26A33飞机 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Lavín-Delgado}等人，《分形》28，第8期，文章ID 2040008，22页（2020；Zbl 1482.93311）
全文： 内政部
卢斯兰五世，斯库拉托夫斯基。

交替群的Sylow 2-子群的交换子子群和环积中的交换子宽度。 （英语） Zbl 1475.20033号

灯泡。阿卡德。共和国。模具。，材料。 2020年，第1期（92），3-16期（2020）.
MSC公司：20日20时 20E22型 20B35码 2012年1月20日 20F05型
PDF格式BibTeX公司 XML格式引用
\textit{R.V.Skuratovskii}，布尔。阿卡德。共和国。模具。，材料2020，编号1（92），3--16（2020；Zbl 1475.20033）
全文： 链接
杰里米·布拉加斯；汉斯皮特·菲舍尔

关于第一个Tech同伦群未能注册几何相关的基本群元素。 （英语） Zbl 1497.55021号

牛市。伦敦。数学。Soc公司。 52，第6期，1072-1092（2020）.
审核人：Behrooz Mashayekhy（马什哈德）
MSC公司：2005年第55季度 2007年第55季度 05年5月57日 57个M12
PDF格式BibTeX公司 XML格式引用
\textit{J.Brazas}和\textit{H.Fischer}，公牛。伦敦。数学。Soc.52，No.6，1072--1092（2020；Zbl 1497.55021）
全文： 内政部 arXiv公司
罗布·范格拉贝克；乌苏拉·戈尔茨；克里斯托弗·利珀特；斯蒂芬·门尼克

编码同步的有效性标准更强。 （英语） Zbl 07817547号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 182-205 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}等人，Lect。注释计算。科学。11760、182-205（2019；Zbl 07817547）
全文： 内政部
伯纳多·托尼霍；吉田信子

多态会话作为形态处理。 （英语） Zbl 07817543号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 101-117 (2019).
MSC公司：68问题85 03楼52 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{B.Toninho}和\textit{N.Yoshida}，莱克特。注释计算。科学。11760、101-117（2019；Zbl 07817543）
全文： 内政部
肯·萨卡约里；津田，武士

分类模型输入/输出-类型\（\pi\）-演算。 （英语） Zbl 1524.68220号

Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11423, 640-667 (2019).
MSC公司：68问题85 03B70号 03G30型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{K.Sakayori}和\textit{T.Tsukada}，Lect。注释计算。科学。11423640--667（2019年；Zbl 1524.68220）
全文： 内政部
OA许可证
劳拉·博奇；莫里齐奥·穆尔吉亚；Vascoconcelos、Vasco Thudichum；吉田、Nobuko

异步定时会话类型。从二元性到时间敏感性过程。 （英语） Zbl 1524.68210号

Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11423, 583-610 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bocchi}等人，Lect。注释计算。科学。11423583--610（2019年；Zbl 1524.68210）
全文： 内政部
OA许可证
马尔瓦·查伊布；米尔科·科西纳；Yousfi、Souheib；帕斯卡·拉福卡德；Riadh罗巴纳

DABSTERS：用于许可区块链的保护隐私的电子投票协议。 （英语） Zbl 07142682号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 292-312 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Chaieb}等人，Lect。注释计算。科学。11884、292--312（2019；Zbl 07142682）
全文： 内政部
斯蒂芬妮·巴尔泽；弗兰克·芬宁；伯纳多·托尼霍

用于非类型化异步通信的通用会话类型。 （英语） Zbl 1520.68086号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第30条，第18页（2018年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.Balzer｝等人，LIPIcs——莱布尼茨国际期刊。通知。118，第30条，第18页（2018；Zbl 1520.68086）
全文： 内政部
阿德里安·杜里埃；丹尼尔·赫希科夫；戴维·桑吉奥吉

渴望作为过程发挥作用。 （英语） Zbl 1452.03044号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。364-373 (2018).
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Durier}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。364--373（2018；Zbl 1452.03044）
全文： 内政部 arXiv公司 哈尔
克里斯蒂安·彼得森

重点自然科学I。历史发展，基本概念，数学。（Naturwissenschaften im Fokus I.Geschichtliche Entwicklung，Grundbegriffe，Mathematik） （德语） Zbl 1379.01001号

威斯巴登：Springer Vieweg（ISBN 978-3-658-15189-8/pbk；978-3-558-15190-4/电子书）。xv，205页。(2017).
审核人：Robert W.van der Waall（阿姆斯特丹）
MSC公司：01-01 01A05号 00A05号 01A70号 00A06号
PDF格式BibTeX公司 XML格式引用
\textit{C.Petersen}，Naturwissenschaften im Fokus I.Geschichtliche Entwicklung，Grundbegriffe，Mathematik。威斯巴登：Springer Vieweg（2017；Zbl 1379.01001）
全文： 内政部
托马斯·特洛伊斯·希尔德布兰特；克里斯蒂安·约翰森；哈贡诺曼

pi-calculus的稳定的无干扰早期操作语义。 （英语） Zbl 1485.68161号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168，51-63（2017年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.T.Hildebrandt}等人，Lect。注释计算。科学。10168，51-63（2017；Zbl 1485.68161）
全文： 内政部 链接
肯·萨卡约里；津田，武士

异步演算的真正并发游戏模型。 （英语） 兹伯利1486.68116

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 389-406 (2017).
MSC公司：68问题85 68号30 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Sakayori}和\textit{T.Tsukada}，Lect。注释计算。科学。10203、389--406（2017；Zbl 1486.68116）
全文： 内政部
扎尔曼·巴拉诺夫；米哈伊尔·穆日丘克；吴浩萍

群表示理论在与等变映射同余原理有关的代数问题中的一些应用。 arXiv:1706.02756

预印本，arXiv:1706.02756[math.RT]（2017）。
MSC公司：15A69号 20对20 20立方厘米 20日20时 55平方米
BibTeX公司 引用
\textit{Z.Balanov}等人，“群表示理论在等变映射同余原理相关代数问题中的一些应用”，预印本，arXiv:1706.02756[math.RT]（2017）
全文： arXiv公司
OA许可证
罗利·佩雷拉；迪帕克·加格；詹姆斯·切尼

因果一致的动态切片。 （英语） Zbl 1392.68313号

Desharnais，Josée（ed.）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第18条，第15页（2016年）。
MSC公司：68问题85 2015年1月6日 68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Perera}等人，LIPIcs——莱布尼茨国际程序。通知。59，第18条，第15页（2016；Zbl 1392.68313）
全文： 内政部 arXiv公司
亚当·多曼斯基；乔安娜·多曼斯卡；塔德乌兹·查科尔斯基；杰西·克拉姆卡

使用具有主动队列管理机制的非整数顺序PI控制器。 （英语） 兹比尔1355.93115

国际期刊申请。数学。计算。科学。 第4期第26期第777-789页（2016年）.
MSC公司：93立方65 90B22型 93电子03
PDF格式BibTeX公司 XML格式引用
\textit{A.Doman ski}等人，国际期刊应用。数学。计算。科学。26，第4号，777--789（2016；Zbl 1355.93115）
全文： 内政部
OA许可证
马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；伊内斯·玛格丽亚；马达莱娜·扎基

多方会话中的部分和完整流程。 （英语） Zbl 1345.68233号

Crescenzi，Pierluigi（ed.）等人，《2015年ICTCS会议录》，第16届意大利理论计算机科学会议，意大利费伦泽，2015年9月9日至11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记322135-151，仅电子版（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Coppo}等人，《电子》。注释Theor。计算。科学。322135-151（2016年；Zbl 1345.68233）
全文： 内政部
大卫·萨贝尔；曼弗雷德·施密特·沙乌

观察pi-calculus的成功。 （英语） Zbl 1428.68206号

Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Sabel}和\textit{M.Schmidt-Schauß}，OASIcs--OpenAccess Ser。通知。46，31-46（2015年；兹bl 1428.68206）
全文： 内政部
康特拉斯·罗杰斯，Y。；帕维尔·舒米亚茨基

具有小阶交换子的有限群的不可解长度。 （英语） Zbl 1371.20017号

数学。程序。外倾角。菲洛斯。Soc公司。 158，第3期，487-492（2015）.
MSC公司：20天30分 20日第10天 20日20时 2012年1月20日 20E10年
PDF格式BibTeX公司 XML格式引用
\textit{Y.Contreras-Rojas}和\textit{P.Shumyatsky}，数学。程序。外倾角。菲洛斯。Soc.158，No.3，487--492（2015；Zbl 1371.20017）
全文： 内政部 arXiv公司
拉斐尔·考德利埃；凯瑟琳·杜布瓦

\（\lambda\）-\（\Pi\）-演算模块中的对象和子类型。 （英语） Zbl 1367.68049号

Hugo Herbelin等人，第20届国际校样和程序类型会议，types’14，法国巴黎，2014年5月12日至15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-88-0）。LIPIcs–莱布尼茨国际信息学论文集39，47-71（2015）。
MSC公司：68甲18 03B40型 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Caudelier}和\textit{C.Dubois}，LIPIcs——莱布尼茨国际程序。通知。39、47——71（2015；Zbl 1367.68049）
全文： 内政部
阿里·阿萨夫

（lambda\Pi）微积分模重写中嵌入的保守性。 （英语） Zbl 1367.68047号

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38，31-44（2015）。
MSC公司：68甲18 03B40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Assaf｝，LIPIcs——莱布尼茨国际会议记录。通知。38，31-44（2015年；兹bl 1367.68047）
全文： 内政部 arXiv公司
乌戈·蒙塔纳里；马蒂奥·桑马蒂诺

网络意识\（\pi\）-演算–Pastry的模型。 （英语） 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）
全文： 内政部
新墨西哥州库诺森科。；叶夫多基莫维奇。

具有Engel循环的有限群。 （俄语。英文摘要） Zbl 1331.20048号

伊兹夫。戈梅尔。戈斯。进出口大学。F.斯科里尼 2015年第3期（90），123-128（2015）.
MSC公司：20层45层 2012年1月20日 20日20时
PDF格式BibTeX公司 XML格式引用
\textit｛N.M.Kurnosenko｝和\textit｛V.E.Evdokimovich｝，Izv。戈梅尔。戈斯。进出口大学。F.Skoriny 2015，第3号（90），123-128（2015；Zbl 1331.20048）
卢卡·帕多瓦尼

线性演算中的死锁和锁自由。 （英语） Zbl 1392.68311号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第72号论文，第10页（2014年）。
MSC公司：68问题85 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Padovani}，in：2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第72号论文，10页（2014；Zbl 1392.68311）
全文： 内政部 链接
马可·贝尔纳多；戴维·桑吉奥吉；瓦莱里亚·维格努德利

关于钝化和高阶相互作用的鉴别能力。 （英语） Zbl 1392.68283号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第14号论文，第10页（2014年）。
MSC公司：68问题85 03B70号 68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第14号论文，第10页（2014；Zbl 1392.68283）
全文： 内政部 哈尔
乔尔·德斯佩鲁；考斯托夫·乔杜里

约束转换系统的混合线性逻辑。 （英语） Zbl 1359.03027号

Matthes，Ralph（编辑）等人，2013年4月22日至26日在法国图卢兹举行的第19届国际校样和程序类型会议，types 2013。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-72-9）。LIPIcs–莱布尼茨国际信息学论文集26，150-168（2014）。
MSC公司：03B70号 03楼52 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Despeyroux}和\textit{K.Chaudhuri}，LIPIcs——莱布尼茨国际程序。通知。26、150——168（2014年；Zbl 1359.03027）
全文： 内政部 arXiv公司
库克洛，E.I。；舒米亚茨基，P。

超限群中的词和前幂子群。 （英语） 兹比尔1310.20030

J.奥斯特。数学。Soc公司。 97，第3期，343-364（2014）.
审核人：恩里科·贾巴拉（威尼斯）
MSC公司：20E18年 20日第10天 20日20时 20层50 2012年1月20日 20E07年 20天60天
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Khukhro}和\textit{P.Shumyatsky}，J.Aust。数学。Soc.97，No.3，343--364（2014；Zbl 1310.20030）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件