×

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

最新的 引文 关联
穆罕默德·埃尔汉达迪；伊曼纽尔·扎帕拉

Yang-Baxter算子通过（n）-李代数上同调的形变。 （英语） Zbl 07747971号

编号。物理。，B类 995，文章ID 116331，29 p.（2023）.
MSC公司：81层32 13日第10天 70层10 17B05型 20世纪10年代 20升05 14日第15天 17层38 18A20型 37A20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Elhamdadi}和\textit{E.Zappala}，Nucl。物理。，B 995，文章ID 116331，29 p.（2023；Zbl 07747971）
全文： 内政部 arXiv公司
乌芒·梅塔；明瓦拉、西拉；帕特尔，钦坦；希罗曼·普拉卡什；卡尔蒂克·夏尔马

有限（N）和（k）下物质Chern-Simons理论中的交叉对称性。 （英语） Zbl 1529.83099号

高级Theor。数学。物理。 27，第1期，193-310（2023）.
MSC公司：83个F05 58J28型 70S15型 83立方厘米80 18G45型 81伏72 14日第15天 81U20型
PDF格式BibTeX公司 XML格式引用
\textit{U.Mehta}等人，高级提奥。数学。物理。27，编号1193--310（2023；兹比尔1529.83099）
全文： 内政部 arXiv公司
吉诺维斯，法布里齐奥·罗曼诺；福斯科·洛雷吉安；丹尼尔·帕洛姆比

有界Petri网的范畴语义。 （英语） Zbl 1530.68192号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37259-71（2022）。
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{F.R.Genovese}等人，《电子》。程序。西奥。计算。科学。（EPTCS）372，59--71（2022；Zbl 1530.68192）
全文： arXiv公司 链接
拉格罗·班迪埃拉；马可·马内蒂；弗朗西斯科·梅齐尼

表面上多稳态滑轮的变形：方形意味着正式。 （英语） Zbl 1502.14039号

莫斯科。数学。J。 22，第2号，239-263（2022）.
审核人：埃马努埃勒·帕维亚（的里雅斯特）
MSC公司：2008年第14页 14日第15天 16周50 18号40
PDF格式BibTeX公司 XML格式引用
\textit{R.Bandiera}等人，Mosc。数学。J.22，No.2，239--263（2022；Zbl 1502.14039）
全文： arXiv公司 链接
达米安·卡拉奎；朱利安·格里沃

形式模问题和形式派生堆栈。 （英语。法语摘要） Zbl 1472.14004号

Ben-Zvi，David等人，衍生代数几何。巴黎：法国数学协会（SMF）。帕诺。合成。55, 85-145 (2021).
MSC公司：14A30型 13日第10天 14A20型 14B10型 14日第15天 14D20日 18号40 14-02
PDF格式BibTeX公司 XML格式引用
\textit{D.Calaque}和\textit{J.Grivaux}，帕诺。合成。55、85——145（2021；Zbl 1472.14004）
全文： arXiv公司
大卫·本·兹维；达米安·卡拉奎；朱利安·格里沃；埃蒂安·曼；戴维·纳德勒；托尼·潘太夫；马可·罗巴洛；帕维尔·萨夫罗诺夫；加布里埃尔·维佐西

派生代数几何。 （英语） Zbl 1471.14005号

全景与合成55.巴黎：法国数学学会（SMF）（ISBN 978-2-85629-938-8/pbk）。十六、230页。(2021).
MSC公司：2006年14月 18-01 18-06 14A30型 2013年10月3日 13日第10天 14碳40 14日第23天 2008年第14页 14A20型 14B10型 14日第15天 14D20日 14号35 17B63型 18M50型 18个G80 第53页第17页 55单位40 00B15号机组 18N10型
PDF格式BibTeX公司 XML格式引用
\textit{D.Ben-Zvi}等人，衍生代数几何。巴黎：法国数学协会（SMF）（2021；兹bl 1471.14005）
艾玛·莱普利；马可·马内蒂

关于交换代数图的变形。 （英语） Zbl 1440.13066号

科伦坡，伊丽莎白（编辑）等人，双有理几何和模空间。2018年6月11日至15日在意大利罗马举行的INdAM研讨会上提交的论文集。查姆：斯普林格。Springer INdAM系列。39, 77-107 (2020).
MSC公司：2009年10月13日 14日第15天 18国道35号 2008年第14页 18号40
PDF格式BibTeX公司 XML格式引用
\textit{E.Lepri}和\textit{M.Manetti}，Springer INdAM Ser。39、77——107（2020；Zbl 1440.13066）
全文： 内政部 arXiv公司
反向链接： 卫生官员
弗朗西丝卡·卡罗西；马可·马内蒂

Koszul复合物的自同态：变形理论的形式和应用。 （英语） Zbl 1466.17007号

伦德。循环。马特·巴勒莫（2） 69，第1期，175-193（2020年）.
审核人：弗里德里希·瓦格曼（南特）
MSC公司：17B55号 14日第15天 18克50 13日第10天
PDF格式BibTeX公司 XML格式引用
\textit｛F.Carocci｝和\textit｛M.Manetti｝，Rend。循环。马特·巴勒莫（2）69，编号1，175--193（2020；Zbl 1466.17007）
全文： 内政部 arXiv公司
马可·马内蒂；弗朗西斯科·梅齐尼

通过Reedy-Palamodov余纤维分解的代数格式变形。 （英语） Zbl 1431.14007号

印度。数学。，新序列号。 31，第1号，7-32（2020）.
审核人：西蒙·费尔滕（美因茨）
MSC公司：14日第15天 16周50 18号40 32G05号
PDF格式BibTeX公司 XML格式引用
\印第安纳州textit{M.Manetti}和\textit{F.Meazzini}。数学。，新序列号。31，编号1，7--32（2020；Zbl 1431.14007）
全文： 内政部 arXiv公司
达斯科·巴甫洛维奇

检索分类语义中的一些路径：从进程-位置-类型到分类的现实和计算机。 arXiv:2007.10057

预印本，arXiv:2007.10057[cs.LO]（2020）。
MSC公司：03G30型 18 C50 68问题55 68问题85 18日第15天 68甲18 2005年第68季度
BibTeX公司 引用
\textit{D.Pavlovic}，“在范畴语义中检索一些路径：从进程-位置-类型到分类的实域和计算机”，预打印，arXiv:2007.10057[cs.LO]（2020）
全文： 内政部 arXiv公司
OA许可证
多纳泰拉·伊阿科诺；马可·马内蒂

关于成对变形（流形，相干层）。 （英语） Zbl 1436.14025号

可以。数学杂志。 71，第5期，1209-1241（2019）.
审核人：Arvid Siqveland（孔斯堡）
MSC公司：14日第15天 2008年第14页 13日第10天 17B70型 18克50 18国道35号
PDF格式BibTeX公司 XML格式引用
\加拿大，textit{D.Iacono}和\textit{M.Manetti}。数学杂志。71，第5号，1209--1241（2019；Zbl 1436.14025）
全文： 内政部 arXiv公司
科琳娜·凯勒

Chern-Simons理论和等变因式分解代数。 （英语） Zbl 1419.81001号

最佳大师威斯巴登：施普林格演讲；苏黎世：苏黎世大学数学研究所（硕士论文）（ISBN 978-3-658-25337-0/pbk；978-3-558-25338-7/ebook）。viii，154页。(2019).
审核人：迪米塔尔·科列夫（索非亚）
MSC公司：81-02 81卢比 18G99型 17B70型 57兰特 14日第21天 14日第15天 58J28型
PDF格式BibTeX公司 XML格式引用
\textit{C.Keller}，Chern-Simons理论和等变因式分解代数。威斯巴登：施普林格演讲；苏黎世：苏黎世大学数学研究所（硕士论文）（2019；Zbl 1419.81001）
全文： 内政部
Kim，Dohyeong先生；公园，Jeehoon；Park，Junyeong公园

巴塔林·维尔科维斯基（Batalin-Vilkovisky）的自由德沃克理论形式主义。 arXiv:1906.06564

预印本，arXiv:1906.06564[math.NT]（2019）。
MSC公司：11立方米 81T20型 13日第10天 14日第15天 14楼30 18G55型
BibTeX公司 引用
\textit{D.Kim}等人，“$p$adic Dwork理论中的巴塔林·维尔科维斯基形式主义”，预印本，arXiv:1906.06564[math.NT]（2019）
全文： arXiv公司
OA许可证
保罗·巴尔丹；罗伯托·布鲁尼；安德烈亚·科拉迪尼；法比奥·加杜奇；埃尔南·梅尔格拉蒂；乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：Clément Aubert（奥古斯塔）
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
欧文·格威廉；鲁恩·豪森

作为（infty）范畴函子的线性Batalin-Vilkovisky量子化。 （英语） 兹比尔1456.18018

选择。数学。，新序列号。 24，第2期，1247-1313（2018）.
审核人：朱利安·霍尔斯坦（汉堡）
MSC公司：18号40 18号60 18米75 14A30型 53D55型 81T70型 14日第15天 17B55号
PDF格式BibTeX公司 XML格式引用
\textit{O.Gwilliam}和\textit{R.Haugseng}，塞尔。数学。，新序列号。24，第2号，1247--1313（2018；Zbl 1456.18018）
全文： 内政部 arXiv公司
亚历克斯·基辛格；桑德·尤伊伦

因果结构的范畴语义。 （英语） Zbl 1457.68190号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第35条，第12页（2017年）。
MSC公司：68问题85 03G30型 18 C50 第81页，共16页
PDF格式BibTeX公司 XML格式引用
\textit{A.Kissinger}和\textit{S.Uijlen}，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，冰岛雷克雅未克雷克雅维克大学，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第35条，第12页（2017；Zbl 1457.68190）
全文： 链接
安娜·索科洛娃；哈拉尔德·沃切克

分布凸集中的终止。 （英语） Zbl 1400.68145号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-033-0）。LIPIcs–莱布尼茨国际信息学论文集72，第22条，第16页（2017年）。
MSC公司：87年第68季度 18B20型 18个C20 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Sokolova｝和\textit｛H.Woracek｝，LIPIcs——莱布尼茨国际期刊。通知。72，第22条，第16页（2017；Zbl 1400.68145）
全文： 内政部
罗尔夫·亨尼克；亚历山大·马德拉

带有活页夹的行为动态逻辑机构。 （英语） Zbl 1444.68119号

Hung，Dang Van（编辑）等人，《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会，越南河内，2017年10月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10580, 13-31 (2017).
MSC公司：68问题85 03B70号 03G30型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}和\textit{A.Madeira}，莱克特。注释计算。科学。10580，13-31（2017；Zbl 1444.68119）
全文： 内政部 链接
巴特·雅各布斯

余代数简介。走向状态和观察的数学。 （英语） Zbl 1364.68001号

剑桥理论计算机科学丛书59.剑桥：剑桥大学出版社（ISBN 978-1-107-17789-5/hbk；978-1-316-82318-7/电子书）。十六、477页。(2017).
审核人：Ernst Erich Doberkat（多特蒙德）
MSC公司：68-01 68问题65 03B45号 68问题85 18立方厘米 18个C20 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，余代数简介。走向状态和观察的数学。剑桥：剑桥大学出版社（2017；Zbl 1364.68001）
全文： 内政部
康斯坦丁·特勒曼

关于拓扑场理论的五堂课。 （英语） Zbl 1460.81094号

阿尔瓦雷斯-康苏尔，路易斯（编辑）等人，模空间的几何和量化。基于4门课程，2012年3月至6月，西班牙巴塞罗那。巴塞尔：Birkhäuser/Springer。数学高级课程。，CRM银行。，109-164 (2016).
MSC公司：81T45型 81-02 2015年11月18日 18平方米 19升10 55N22号 13A35型 53个45 14日第21天
PDF格式BibTeX公司 XML格式引用
\textit{C.Teleman}，in：模空间的几何和量化。基于4门课程，2012年3月至6月，西班牙巴塞罗那。巴塞尔：Birkhäuser/Springer。109-164（2016年；兹比尔1460.81094）
全文： 内政部
朱里安·罗特；菲利波·邦奇；马塞洛·邦桑格；Damien Pous；简·拉特；亚历山德拉·席尔瓦

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

数学。结构。计算。科学。 27，第7期，1236-1264（2017）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 18B20型 18立方厘米 18 C50 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rot}等人，数学。结构。计算。科学。27，第7号，1236--1264（2015；Zbl 1380.68300）
全文： 内政部
加布里埃尔·维佐西

相对dg-Lie代数体的模型结构。 （英语） Zbl 1367.17014号

Pantev，Tony（编辑）等人，《几何、拓扑和代数中的堆栈和类别》。CATS4高级范畴结构及其与代数几何、代数拓扑和代数的相互作用会议，CIRM，法国鲁米尼，2012年7月2-7日。普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-1-4704-1557-0/pbk；978-1-4740-2568-5/ebook）。《当代数学》643111-118（2015）。
MSC公司：17B55号 18B99型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit｛G.Vezzosi｝，参赛者。数学。643111--118（2015；Zbl 1367.17014）
全文： 内政部 arXiv公司 链接
罗伯托·布鲁尼；乌戈·蒙塔纳里；马蒂奥·桑马蒂诺

最后是因果树。 （英语） 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年；兹bl 1434.68323）
全文： 内政部 链接
菲利波·邦奇；斯特凡·米利厄斯；亚历山德拉·席尔瓦；法比奥·扎纳西

如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 （英语） Zbl 1331.68148号

Bonsange，M.（编辑），计算机科学中的协代数方法。2014年4月5日至6日，第12届IFIP工作组1.3国际研讨会，CMCS 2014，与ETAPS 2014合办，法国格勒诺布尔。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-662-44123-7/pbk；978-3-562-44124-4/电子书）。计算机科学课堂讲稿8446，53-74（2014）。
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。8446、53--74（2014年；Zbl 1331.68148）
全文： 内政部
菲利波·邦奇；巴布亚州索波辛斯基；法比奥·扎纳西

信号流图的分类语义。 （英语） Zbl 1417.68119号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 435-450 (2014).
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。8704、435--450（2014；Zbl 1417.68119）
全文： 内政部 哈尔
阿比什凯·班纳吉

泰特动机与Connes的周期性算子。（Les motives de Tate et Les opérateurs de périodicitéde Connes） （法语。英文摘要） Zbl 1327.58008号

安。数学。布莱斯·巴斯卡 2014年第1期第21页，第1-23页.
MSC公司：58B34型 14层42层 18日第10天 19D55年 46升80 13-02 14G20（二十国集团） 14C30号 14升05
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}，Ann.数学。布莱斯·帕斯卡21，第1号，第1--23号（2014；Zbl 1327.58008）
全文： 内政部
Löwe，迈克尔；哈拉尔德·科尼格；克里斯托夫·舒尔茨；马吕斯·舒尔钦

带继承的代数图变换。 （英语） Zbl 1409.68074号

Iyoda，Juliano（编辑）等人，《形式方法：基础和应用》。2013年9月29日至10月4日在巴西巴西利亚举行的第16届巴西研讨会，SBMF 2013。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8195, 211-226 (2013).
MSC公司：68号30 18 C50 2012年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Löwe}等人，Lect。注释计算。科学。8195211-226（2013；Zbl 1409.68074）
全文： 内政部
文森佐·西安西亚

交互和观察：通过方言的反应系统的范畴语义。 （英语） Zbl 1394.68246号

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089110-125（2013）。
MSC公司：68问题85 18 C50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}，莱克特。注释计算。科学。8089、110-125（2013年；Zbl 1394.68246）
全文： 内政部 arXiv公司
克里斯·希恩（编辑）；梅赫努什·萨德扎德（编辑）；爱德华·格雷芬斯特特（编辑）

量子物理学和语言学。构图的、图解的话语。 （英语） Zbl 1262.81004号

牛津：牛津大学出版社（ISBN 978-0-19-964629-6/hbk）。xx，第409页。(2013).
MSC公司：81-06 81页第45页 81R50美元 03B65号 18 C50 18日第15天 16Txx型 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{C.Heunen}（编辑）等人，《量子物理学和语言学》。构图式的话语。牛津：牛津大学出版社（2013；Zbl 1262.81004）
萨尔瓦多，特里加利

撤回：绘图及其应用-第一部分：基础。 arXiv公司：1311.3524

预印本，arXiv:1311.3524[math.CT]（2013）；撤回通知同上。
MSC公司：08A55号 17D99号 18A05型 18A20型 18A22型 18A23型 18A25型 18A30型 18A32飞机 18B40码 18B99型 03G99型 08A99号 第18页第15页 18立方厘米 18 C50 46M99型
BibTeX公司 引用
\textit{S.Tringali}，“撤回：绘图及其应用——第一部分：基础”，预印本，arXiv:1311.3524[math.CT]（2013）；撤回通知同上。
全文： arXiv公司
OA许可证
雅各布·卢丽

环谱的模问题。 （英语） Zbl 1244.55007号

Bhatia，Rajendra（编辑）等人，国际数学家大会会议记录（ICM 2010），印度海得拉巴，2010年8月19-27日。第二卷：特邀讲座。新泽西州哈肯萨克：世界科学；新德里：印度斯坦图书局（ISBN 978-981-4324-32-8/hbk；978-81-85931-08-3/hbk；988-981-4304-4/set；978-981-4324-35-9/ebook）。1099-1125 (2011).
审核人：阿德里安·兰格（华沙）
MSC公司：55页第43页 14日第15天 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{J.Lurie}，in：国际数学家大会会议记录（ICM 2010），印度海得拉巴，2010年8月19-27日。第二卷：特邀讲座。新泽西州哈肯萨克：世界科学；新德里：印度斯坦书局。1099--1125（2011；Zbl 1244.55007）
全文： 链接
吉姆·莱尔德；朱利奥·曼佐内托；盖·麦库斯克

构建差异类别和解构游戏类别。 （英语） Zbl 1333.68199号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学讲稿6756186-197（2011）。
MSC公司：68问题85 18 C50 68甲15 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Laird}等人，Lect。注释计算。科学。6756、186--197（2011年；Zbl 1333.68199）
全文： 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件