×

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

最新 引文 关联
玛丽亚·曼纽尔·克莱门蒂诺;卡洛斯·菲塔斯

关于量子丰富范畴的前置子类。 （英语） 兹伯利1522.18012

奎斯特。数学。 46，编号10，2079-2108（2023）.
审核人：乔治·詹尼利泽（开普敦）
MSC公司：18D20天 18立方厘米 18天60 18A22型 18B35型 18楼75 06A75号 07年6月 第54页第35页
PDF格式BibTeX公司 XML格式引用
\textit{M.Clementino}和\textit{C.Fitas}，奎斯特。数学。46，编号10，2079--2108（2023；Zbl 1522.18012）
全文： 内政部 arXiv公司
哈维尔·古铁雷斯·加西亚;乌尔里希·赫勒;托马斯·库比亚克

量子丰富拓扑的基本概念。 （英语） Zbl 1477.18025号

申请。类别。结构。 29，第6号，983-1003（2021）.
审核人：谢尔盖斯·索洛夫乔夫斯（普拉哈）
MSC公司：18楼75 18B99型 18D20天 18层60 2005年5月18日 46升89
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutiérrez García}等人，应用。类别。结构。29，第6号，983--1003（2021；Zbl 1477.18025）
全文： 内政部
哈维尔·古铁雷斯·加西亚;乌尔里希·赫勒;托马斯·库比亚克

自对偶条件下（mathsf{Sup}）中投射模的不变性。 （英语） Zbl 1457.18006号

代数大学。 82，第1号，第9号论文，20页（2021年）.
审核人：谢尔盖斯·索洛夫乔夫斯（普拉哈）
MSC公司：18D20天 07年6月 03G10年 10年6月 75年6月 18对25
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutiérrez García}等人，代数大学。82，第1号，第9号论文，20页（2021；Zbl 1457.18006）
全文： 内政部
贝特朗·托恩

重新审视了格罗森迪克的图式化问题。（Grothendieck的重新访问问题。） （英语。法语摘要） Zbl 1454.18020号

埃皮约克·德盖姆。阿尔盖布。，EPIGA公司 第14条，第21页（2020年）.
审核人：马雷克·戈拉辛斯基（奥斯汀）
MSC公司：18号60 14甲15 55页第15页
PDF格式BibTeX公司 XML格式引用
\textit{B.Toön}，埃皮约克·德·盖姆。阿尔盖布。，EPIGA 4，第14条，第21页（2020年；Zbl 1454.18020）
全文： arXiv公司
菲奥雷，M。;新泽西州甘比诺。;海兰德，M。;温斯克尔，G。

相对假单胞菌、Kleisli二分类菌和代换单胞菌结构。 （英语） Zbl 1427.18012号

选择。数学。，新序列号。 24，第3号，2791-2830（2018）.
审核人：罗斯·H街（北莱德）
MSC公司：2005年5月18日 18个C20 18个60毫米 18立方厘米 18N10型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}等人，选择。数学。，新序列号。24，第3号，2791--2830（2018；Zbl 1427.18012）
全文： 内政部 arXiv公司
保罗·安德烈·梅利埃;诺姆·齐尔伯格

劳弗尔超教义的两重结构重建。 （英语） Zbl 1395.03040号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。555-564 (2016).
MSC公司：03G30型 第03页 18天30分 18层20
PDF格式BibTeX公司 XML格式引用
\textit{P.-A.Melliès}和\textit{N.Zeilberger}，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。555--564（2016；Zbl 1395.03040）
全文： 内政部 arXiv公司
沈丽丽;沃尔特·托伦

富含量子化合物类别及其分配者的限制和共鸣。 （英语） Zbl 1334.18005号

加利福尼亚州。白杨。盖姆。差异。猫。 56，第3期，209-231（2015）.
审核人：谢尔盖斯·索洛夫乔夫斯（布尔诺）
MSC公司：18D20天 18A30型 07年6月 18B99型
PDF格式BibTeX公司 XML格式引用
\textit{L.Shen}和\textit{W.Tholen}，加利福尼亚州。白杨。盖姆。差异。猫。56，第3号，209--231（2015；Zbl 1334.18005）
全文： arXiv公司
阿纳斯塔西奥斯·马利奥斯;Patrice P.恩图巴。

关于通过系数扩展\（\mathcal A\）-模。 （英语） Zbl 1269.18007号

梅迪特尔。数学杂志。 10，第1期，73-89（2013）.
审核人：Radoslav M.Dimitrić（纽约）
MSC公司：18层20 15A69号 08A35型 18日99 13二氧化碳 16日第10天 第16天90分
PDF格式BibTeX公司 XML格式引用
\textit｛A.Mallios｝和\textit｛P.Ntumba｝，Mediterr。数学杂志。10，第1号，73--89（2013；Zbl 1269.18007）
全文： 内政部
马塞洛·菲奥雷

离散广义多项式函子（扩展抽象）。 （英语） Zbl 1367.18004号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学课堂讲稿7392214-226（2012）。
MSC公司：18层20 03G30型 68纳米30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}，莱克特。注释计算。科学。7392，214--226（2012；Zbl 1367.18004）
全文： 内政部
菲奥雷，M。;甘比诺，N。;海兰德，M。;温斯克尔，G。

广义结构种的笛卡尔闭双范畴。 （英语） Zbl 1137.18003号

J.隆德。数学。社会学，II。序列号。 77，第1期，203-220（2008）.
审核人：阿克鲁尔·贝赫拉（卢克拉）
MSC公司：18D05日 18日第15天 18层20 第03页
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}等人，J.Lond。数学。社会学，II。序列号。77，第1号，203--220（2008；Zbl 1137.18003）
全文： 内政部
伊萨尔·斯塔布

富含量子体的范畴结构：规则预升，规则半范畴。 （英语） Zbl 1086.18005号

加利福尼亚州。白杨。盖姆。差异。猫。 46，第2期，99-121（2005）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18D05日 18D20天 07年6月 18B35型
PDF格式BibTeX公司 XML格式引用
\textit{I.Stubbe}，加利福尼亚州。白杨。盖姆。差异。猫。46，第2号，99-121（2005年；兹bl 1086.18005）
全文： arXiv公司 Numdam编号 欧洲DML
汉斯·鲍斯特。;基督教徒Dzierzon

关于代数的余代数。 （英语） Zbl 1076.18003号

Gähler，W.（编辑）等人，《分类结构及其应用》。2003年3月28日至29日，德国柏林，西北欧类别研讨会会议记录。新泽西州River Edge：《世界科学》（ISBN 981-256-053-X/hbk）。227-235 (2004).
审核人：迪米特鲁·布斯内格（克雷奥瓦）
MSC公司：18B99型 08年60月 18层20
PDF格式BibTeX公司 XML格式引用
\textit{H.-E.Porst}和\textit{C.Dzierzon}，in：分类结构及其应用。《西北欧类别研讨会论文集》，德国柏林，2003年3月28日至29日。新泽西州River Edge：《世界科学》。227--235（2004；Zbl 1076.18003）
Mark V.劳森。;本杰明·斯坦伯格

有序群胚和展度。 （英语） Zbl 1060.18002号

加利福尼亚州。白杨。盖姆。差异。猫。 45，第2期，82-108（2004）.
审核人：瓦克拉夫·库贝克（普拉哈）
MSC公司：18对25 18B40码 10层18号 20升05 14层20
PDF格式BibTeX公司 XML格式引用
\textit{M.V.Lawson}和\textit{B.Steinberg}，加利福尼亚州。白杨。盖姆。差异。猫。45，第2号，82--108（2004；Zbl 1060.18002）
全文： Numdam编号 欧洲DML
格林·温斯克尔

用于并发的线性元语言。 （英语） Zbl 0921.18007号

Haeberer，Armando Martín（编辑），代数方法论和软件技术。第七届国际会议，1998年AMAST，巴西亚马逊河流域，1999年1月4日至8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1548, 42-58 (1999).
MSC公司：18层20 2010年第68季度 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Winskel}，莱克特。注释计算。科学。1548，42-58（1999年；兹bl 0921.18007）
格林·温斯克尔

从开放地图对互模拟的操作理解。 （英语） Zbl 0925.68290号

Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。10，第5号电子文件（1997年）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Winskel}，in：霍OTS II。语义学高级操作技术第二次研讨会。斯坦福大学，美国加利福尼亚州帕洛阿尔托，1997年12月8日至12日。阿姆斯特丹：爱思唯尔。第5号电子文件（1997；Zbl 0925.68290）
全文： 链接
吉安·卢卡·卡塔尼;伊恩·斯塔克;格林·温斯克尔

\（\pi\）-演算的预处理模型。 （英语） Zbl 0884.68078号

Moggi，Eugenio（编辑）等人，《范畴理论与计算机科学》。1997年9月4日至6日，第七届国际会议，CTCS’97，意大利圣玛格丽塔利古尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1290, 106-126 (1997).
MSC公司：68问题55 2010年第68季度 18层20 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.L.Cattani}等人，Lect。注释计算。科学。1290、106-126（1997年；Zbl 0884.68078）
C.J.穆尔维。;M.纳瓦兹。

Quantales：Quantal集合。 （英语） Zbl 0838.06014

Höhle，Ulrich（编辑）等人，《非经典逻辑及其在模糊子集中的应用》。模糊集理论数学基础手册。1992年9月第二周在奥地利林茨举行的第十四届林茨模糊集理论研讨会论文集。多德雷赫特：Kluwer学术出版社。理论决策。伦敦银行同业拆借利率。，序列号。B.32，159-217（1995）。
审核人：K.I.Rosenthal（斯克内克塔迪）
MSC公司：05年6月 18层20
PDF格式BibTeX公司 XML格式引用
\textit{C.J.Mulvey}和\textit{M.Nawaz}，in：非经典逻辑及其对模糊子集的应用。模糊集理论数学基础手册。1992年9月第二周在奥地利林茨举行的第十四届林茨模糊集理论研讨会论文集。多德雷赫特：Kluwer学术出版社。159-217（1995年；Zbl 0838.06014）
彼得·弗雷德;彼得·奥赫恩;权力，约翰;罗伯特·坦尼特;木本武山

双反射。 （英语） Zbl 0908.18002号

Brookes，Steve（编辑）等人，《编程语义的数学基础》。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第1、15页（1995年）。
MSC公司：18A40型 68问题55 18日第10天 18立方厘米 18A32飞机
PDF格式BibTeX公司 XML格式引用
\textit{P.Freyd}等人，in：编程语义的数学基础。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔。15页（1995年；Zbl 0908.18002）
全文： 链接
恩里科·M·维塔莱。

关于（mathcal）上一元范畴的刻画{S} et（等）\). （英语） Zbl 0824.18004号

加利福尼亚州。拓扑Géom。差异。猫。 35，第4期，351-358（1994）.
审核人：M.Bunge（热那亚）
MSC公司：18立方厘米 18对25 18层20 18E10型 第18页第35页
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Vitale}，加利福尼亚州。拓扑Géom。差异。Catégoriques 35，No.4，351--358（1994；Zbl 0824.18004）
全文： Numdam编号 欧洲DML
Kimmo I.罗森塔尔。

关于在量子数、模态逻辑和时序逻辑中丰富的范畴的注释。 （英语） Zbl 0791.18007号

加利福尼亚州。拓扑Géom。差异。猫。 34，第4期，267-277（1993）.
审核人：Hirokazu Nishimura（茨城）
MSC公司：18立方厘米 18D20天 03B45号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{K.I.Rosenthal}，加利福尼亚州。拓扑Géom。差异。Catégoriques 34，No.4，267--277（1993；Zbl 0791.18007）
全文： Numdam编号 欧洲DML

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件