×

找到1325份文件（结果1-100）

最新的 引文 关联
Giampiero Chiaselotti；詹蒂莱，托马索；Infusino，Federico G。

关于结构集的某些类别。 （英语） 兹伯利07827554

欧洲数学杂志。 10，第2号，第23号论文，41页（2024年）.
MSC公司：18A05型 18A22型 18A30型 18个B05 18B10型 2015年1月6日 06A75号 08A02号 08A05号
PDF格式BibTeX公司 XML格式引用
\textit{G.Chiaselotti}等人，《欧洲数学杂志》。10，第2号，第23号论文，41页（2024；Zbl 07827554）
全文： 内政部
OA许可证
马里奥·罗曼

有效类别的Promonad和字符串图。 （英语） Zbl 07813638号

杰德（Jade）等硕士，第五届应用范畴理论国际会议论文集，ACT 2022，英国格拉斯哥，2022年7月18日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）380344-361（2023年）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{M.Román}，电子。程序。西奥。计算。科学。（EPTCS）380344--361（2023；Zbl 07813638）
全文： 内政部 arXiv公司
输液，F。

关于由可数无穷递减链诱导的商集。 （英语） Zbl 1523.18003号

塞兹州费拉拉安大学。七、 科学。材料。 69，第2号，561-585（2023）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18A22型 2015年11月20日 20立方米 20M50型 54A05型 54A25型 2015年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{F.Infusino}，塞兹州费拉拉安大学。七、 科学。材料69，编号2，561--585（2023；Zbl 1523.18003）
全文： 内政部
玛丽亚·曼纽尔·克莱门蒂诺；卡洛斯·菲塔斯

关于量子丰富范畴的前置子类。 （英语） Zbl 1522.18012号

奎斯特。数学。 46，编号10，2079-2108（2023）.
审核人：乔治·詹尼利泽（开普敦）
MSC公司：18D20天 18立方厘米 18D60毫米 18A22型 18B35型 18楼75 06A75号 07年6月 54E35个
PDF格式BibTeX公司 XML格式引用
\textit{M.Clementino}和\textit{C.Fitas}，奎斯特。数学。46，编号10，2079--2108（2023；Zbl 1522.18012）
全文： 内政部 arXiv公司
古斯塔夫森，保罗；我，Mee Seong；雷米·卡尔达维；米哈伊尔·霍瓦诺夫；萨卡里·林恩

带缺陷的自动机和一维TQFT。 （英语） Zbl 07743387号

莱特。数学。物理学。 113，第5号，第93号论文，38页（2023年）.
MSC公司：57公里16 65年第68季度 18个M10 18立方米 2012年1月6日 70年第68季度 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Gustafson}等人，Lett。数学。物理学。113，第5号，第93号文件，第38页（2023；Zbl 07743387）
全文： 内政部 arXiv公司
费德里科·因弗西诺

粗糙算子诱导的集合关系几何的分类。 （英语） 兹比尔1523.18002

J.代数应用。 22，第10号，文章ID 2350203，44 p.（2023）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18A05型 18A22型 18A30型 18个B05 18B10型 18E08型 05B35号 2018年1月5日 2015年1月6日 08A05号
PDF格式BibTeX公司 XML格式引用
\textit{F.Infusino}，J.代数应用。22，第10号，文章ID 2350203，44页（2023；Zbl 1523.18002）
全文： 内政部
菲利普·马尔博斯；伊萨克·雷恩

杂乱操作对象的测谎分辨率。 （英语） Zbl 1519.18015号

J.隆德。数学。社会学，II。序列号。 107，编号1，61-122（2023）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18米70 18号30 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Malbos}和\textit{I.Ren}，J.Lond。数学。社会学，II。序列号。107，编号1，61-122（2023；Zbl 1519.18015）
全文： 内政部 arXiv公司 哈尔
马可·阿巴迪尼；古拉姆·贝扎尼什维利；卡拉，卢卡

将de Vries对偶推广到紧Hausdorff空间之间的闭关系。 （英语） Zbl 1528.54005号

拓扑应用程序。 337，文章ID 108641，22 p.（2023）.
审核人：徐晓泉（漳州）
MSC公司：54B30型 54天30分 54G05号 18楼70 2015年6月 18B10型 18E08型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abbadini}等人，拓扑应用。337，文章ID 108641，22 p.（2023；Zbl 1528.54005）
全文： 内政部 arXiv公司
安德烈亚·加尼亚；维克多利亚·奥佐诺娃；马蒂娜·罗维利

自由环自由\（\omega \）-类别的神经和锥体。 （英语） Zbl 1520.18019号

突尼斯。数学杂志。 5，第2号，273-326（2023）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号30 18号65 55平方英寸10 55单元15
PDF格式BibTeX公司 XML格式引用
\textit{A.Gagna}等人，突尼斯。数学杂志。5，编号2，273--326（2023；Zbl 1520.18019）
全文： 内政部 arXiv公司
东部，詹姆斯；Ruškuc，尼克

范畴和（部分）半群中理想的同余格。 （英语） Zbl 1515.20009号

美国数学学会回忆录1408.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-6269-7/pbk；978-1-4740-7446-1/电子书）。vii，129页。(2023).
审核人：雅克·海诺（塔林）
MSC公司：20-02 20平方米 15A04号 18B40码 20个M10 20M50型
PDF格式BibTeX公司 XML格式引用
\textit{J.East}和\textit{N.Ruškuc}，范畴和（部分）半群中理想的同余格。普罗维登斯，RI:美国数学学会（AMS）（2023；Zbl 1515.20009）
全文： 内政部 arXiv公司
Jens Kosiol公司；加布里埃尔·坦泽尔

用于双推出重写的广义并发规则构造：广义并发定理和语言保护规则应用程序。 （英语） Zbl 1529.68134号

J.日志。阿尔盖布。方法计划。 130，文章ID 100820，35 p.（2023）.
MSC公司：第68季度第42季度 18B50型
PDF格式BibTeX公司 XML格式引用
\textit{J.Kosiol}和\textit{G.Taentzer}，J.Log。阿尔盖布。方法程序。130，文章ID 100820，35 p.（2023；Zbl 1529.68134）
全文： 内政部
杰雷米·柯尼格

在范畴代数中建立游戏语义。 （英语） Zbl 1530.68154号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022）。
MSC公司：第68季度55 18 C50 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Koenig}，电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022年；Zbl 1530.68154）
全文： arXiv公司 链接
肖恩·塔尔

概念空间中模糊概念的范畴语义。 （英语） Zbl 1530.18013号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372306-322（2022）。
MSC公司：18 C50 03电子72
PDF格式BibTeX公司 XML格式引用
\textit{S.Tull}，电子。程序。西奥。计算。科学。（EPTCS）372306-322（2022；兹bl 1530.18013）
全文： arXiv公司 链接
藤井秀一郎；尤尼岩马沙；基木拉

约束满足的量子方法。 （英语） Zbl 1530.18029号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372，289-305（2022）。
MSC公司：18N10型 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Fujii}等人，《电子》。程序。西奥。计算。科学。（EPTCS）372，289--305（2022；Zbl 1530.18029）
全文： arXiv公司 链接
安德鲁·皮特斯（Andrew M.Pitts）。；南卡罗来纳州斯坦坎普。

使用膨胀迭代构造初始代数。 （英语） Zbl 1530.18006号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37288-102（2022）。
MSC公司：18A40型 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Pitts}和\textit{S.C.Steenkamp}，电子。程序。西奥。计算。科学。（EPTCS）372，88--102（2022；Zbl 1530.18006）
全文： arXiv公司 链接
约翰·范德韦特林

实际单位区间的分类构造。 （英语） Zbl 1530.18007号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37243-58（2022年）。
MSC公司：18B10型 26A03号 26E40型 81页第10页
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Wetering}，电子。程序。西奥。计算。科学。（EPTCS）372，43--58（2022；Zbl 1530.18007）
全文： arXiv公司 链接
Jean-Simon，Pacaud Lemay

笛卡尔微分范畴的雅可比和梯度。 （英语） Zbl 1530.18019号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372，29-42（2022）。
MSC公司：18英尺40英寸
PDF格式BibTeX公司 XML格式引用
\textit{J.-S.Pacaud Lemay}，电子。程序。西奥。计算。科学。（EPTCS）372，29--42（2022；Zbl 1530.18019）
全文： arXiv公司 链接
杨志轩；马尔科·帕维奥蒂；尼古拉斯·吴；范登伯格，比尔特；汤姆·施里杰弗斯

范围效应的结构化处理。 （英语） Zbl 1528.68088号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 462-491 (2022).
MSC公司：68号30 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。13240、462--491（2022；Zbl 1528.68088）
全文： 内政部 arXiv公司
杰弗里·S·H·克鲁特韦尔。；布鲁诺加夫拉诺维奇；尼尔·加尼；保罗·威尔逊；法比奥·扎纳西

梯度学习的分类基础。 （英语） Zbl 1528.68339号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 1-28 (2022).
MSC公司：68T05型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{G.S.H.Cruttwell}等人，Lect。注释计算。科学。13240，1--28（2022；Zbl 1528.68339）
全文： 内政部 arXiv公司
帕特里夏·约翰；皮埃尔·卡涅

描述可在GADT上映射的功能。 （英语） Zbl 1524.68200号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 135-154 (2022).
MSC公司：68问题65 18 C50 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{P.Johann}和\textit{P.Cagne}，莱克特。注释计算。科学。13658、135——154（2022年；Zbl 1524.68200）
全文： 内政部
杰夫·克鲁特韦尔；乔纳森·加拉赫；Jean-Simon Pacaud Lemay女士；普龙克，多雷特

单面反向差速器类别。 （英语） Zbl 1518.18012号

数学。结构。计算。科学。 32，第10期，1313-1363（2022）.
审核人：尼古拉斯·布兰科（巴黎）
MSC公司：2005年8月 18层40层 81页68
PDF格式BibTeX公司 XML格式引用
\textit{G.Cruttwell}等人，《数学》。结构。计算。科学。32，编号10，1313---1363（2022；Zbl 1518.18012）
全文： 内政部 arXiv公司
菲利波·邦奇；法比奥·加杜奇；亚历克斯·基辛格；巴布亚州索波辛斯基；法比奥·扎纳西

弦图重写理论。III： 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 （英语） Zbl 1506.68043号

数学。结构。计算。科学。 32，第7号，829-869（2022）.
MSC公司：第68季度第42季度 2005年8月 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，数学。结构。计算。科学。32，编号7，829--869（2022；Zbl 1506.68043）
全文： 内政部 arXiv公司
巴斯·韦斯特班；约翰·范德韦特林

一位计算机科学家对量子理论的重建。 （英语） Zbl 1519.81017号

《物理学杂志》。A、 数学。西奥。 55，第38号，文章ID 384002，52 p.（2022）.
MSC公司：81页第10页 18B10型 46升60 第81页，共16页 81兰特 2008年10月81日
PDF格式BibTeX公司 XML格式引用
\textit{B.Westerban}和\textit{J.van de Wetering}，J.Phys。A、 数学。西奥。55，第38号，文章编号384002，52页（2022；Zbl 1519.81017）
全文： 内政部 arXiv公司
卡梅伦·卡尔克；埃里克·古堡；菲利普·马尔博斯；乔治·斯特鲁斯

代数相干合流和更高球状Kleene代数。 （英语） Zbl 1508.18018号

日志。方法计算。科学。 18，第4号，第9号论文，43页（2022年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号30 03B70号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calk}等人，日志。方法计算。科学。18，第4号，第9号论文，43页（2022年；Zbl 1508.18018）
全文： 内政部 arXiv公司
菲利波·邦奇；法比奥·加杜奇；亚历克斯·基辛格；巴韦尔·索博辛斯基；法比奥·扎纳西

弦图重写理论。二： 用对称单体结构重写。 （英语） Zbl 1506.68042号

数学。结构。计算。科学。 32，编号4，511-541（2022）.
MSC公司：第68季度第42季度 2005年8月 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，数学。结构。计算。科学。32，编号4，511-541（2022；兹bl 1506.68042）
全文： 内政部 arXiv公司
Lucyshyn-Wright，Rory B。

用于丰富代数理论的二重代数和交换子。 （英语） Zbl 1502.18010号

申请。类别。结构。 30，第6期，1077-1121（2022）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18立方厘米05 18立方厘米 18立方厘米 18立方厘米 18日第15天 18D20天 18E99型 2005年8月 08A40号 08年65月 08年2月20日 08C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{R.B.B.Lucyshyn-Wright}，应用。类别。结构。30，第6号，1077--1121（2022；Zbl 1502.18010）
全文： 内政部 arXiv公司
克里斯托弗·布朗；埃文·帕特森；汉克斯，泰勒；詹姆斯·费尔班克斯

计算类别——理论重写。 （英语） 兹比尔1514.68089

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 155-172 (2022).
MSC公司：第68季度第42季度 18A30型 18B10型
PDF格式BibTeX公司 XML格式引用
\textit{K.Brown}等人，Lect。注释计算。科学。13349、155--172（2022年；Zbl 1514.68089）
全文： 内政部 arXiv公司
加布里埃尔·坦泽尔；约翰·斯特凡；Jens Kosiol公司

图形状结构交叉的通用构造。 （英语） Zbl 1514.68335号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 97-117 (2022).
MSC公司：68瓦50 18B50型 第68季度第42季度 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{G.Taentzer}等人，Lect。注释计算。科学。13349，97-117（2022；Zbl 1514.68335）
全文： 内政部
瑞科·赫克尔；安德烈亚·科拉迪尼；法比奥·加杜奇

图形重写组件。 （英语） Zbl 1514.68091号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 20-37 (2022).
MSC公司：第68季度第42季度 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，Lect。注释计算。科学。13349，20--37（2022；Zbl 1514.68091）
全文： 内政部
马塞洛·菲奥雷（Marcelo P.Fiore）。；安德鲁·皮特斯（Andrew M.Pitts）。；南卡罗来纳州斯坦坎普。

商、归纳类型和商归纳类型。 （英语） 兹比尔1502.18046

日志。方法计算。科学。 18，第2号，第15号论文，37页（2022年）.
审核人：菲利普·马尔博斯（里昂）
MSC公司：18纳米45 03B38型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Fiore}等人，日志。方法计算。科学。18，第2号，第15号论文，37页（2022年；Zbl 1502.18046）
全文： arXiv公司 链接
乌里·法伦贝格；克里斯蒂安·约翰森；乔治·斯特鲁斯；Krzysztof，Zimiañski

以接口作为并发模型的Poset。 （英语） Zbl 1515.68204号

Inf.计算。 285，B部分，文章ID 104914，20 p.（2022）.
审核人：沃尔夫冈·雷西格（柏林）
MSC公司：68问题85 06年06月06日 18B35型
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，《信息计算》。285，B部分，文章ID 104914，20 p.（2022；Zbl 1515.68204）
全文： 内政部 arXiv公司
张晓辉；吴慧

单体伴子的cosemiplimity和cobraid结构。 （英语） Zbl 1495.18023号

前面。数学。中国 17，第3期，485-499（2022年）; 高级数学翻译。，北京46，第2期，221-233（2017）。
审核人：詹建明（恩施）
MSC公司：2015年11月18日 16亿B50 2015年10月16日
PDF格式BibTeX公司 XML格式引用
\textit｛X.Zhang｝和\textit｛H.Wu｝，正面。数学。中国17，No.3，485--499（2022；Zbl 1495.18023）；高级数学翻译。，北京46，No.2，221--233（2017）
全文： 内政部
H.Peter Gumm；拉尔夫·弗里斯（Ralph S.Freese）。

自由守恒函子弱地保留了表外回缩。 （英语） Zbl 1525.08002号

代数大学。 83，第2号，第20号论文，第18页（2022年）.
审核人：Mohammad Shahryari（马斯卡ṭ）
MSC公司：08年2月20日 08B05号 06B25号 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.P.Gumm}和\textit{R.S.Freese}，代数大学。83，第2号，第20号论文，第18页（2022；Zbl 1525.08002）
全文： 内政部 arXiv公司
本杰明·杜邦；菲利普·马尔博斯

相干合流模关系与双群胚。 （英语） 兹比尔1492.18009

J.纯应用。代数 226，第10号，文章ID 107037，57 p.（2022）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：18D20天 第68季度第42季度 18N10型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Dupont｝和\textit｛P.Malbos｝，J.纯应用。代数226，第10号，文章编号107037，57页（2022；Zbl 1492.18009）
全文： 内政部 arXiv公司
雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼

基本纤维的特征。 （英语） Zbl 1492.18008号

Ann.纯粹应用。逻辑 173，第6号，文章ID 103103，29 p.（2022）.
审核人：罗伯特·罗斯布鲁（萨克维尔）
MSC公司：18立方厘米 18 C50 03G30型 18天30分 18D40号 18纳米45
PDF格式BibTeX公司 XML格式引用
\textit{J.Emmeneger}等人，Ann.Pure Appl。逻辑173，第6号，文章ID 103103，29页（2022；Zbl 1492.18008）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件