×

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

最新的 引文 关联
迪米特·瓦卡雷洛夫

具有实际存在谓词的动态接触代数：快照表示和拓扑对偶。 （英语） Zbl 1511.03004号

Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 411-475 (2022).
审核人：Hirokazu Nishimura（筑波）
MSC公司：03B44号 03G25号 08A02号 18A23型 54D10号 54天30分 54甲10
PDF格式BibTeX公司 XML格式引用
\textit{D.Vakarelov}，出局。控制日志。22411--475（2022；Zbl 1511.03004）
全文： DOI程序
盖·麦库斯克;阿莱西奥·桑塔马利亚

合成自然变换：朝向置换演算。 （英语） Zbl 1468.18002号

J.纯应用。代数 225，第10号，文章ID 106689，57 p.（2021）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18A05型 18年23日 18A25型 18A40型 18立方厘米 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{G.McCusker}和\textit{A.Santamaria}，J.Pure Appl。代数225，第10号，文章ID 106689，57页（2021；Zbl 1468.18002）
全文： DOI程序 arXiv公司
马克·格兰迪斯

范畴理论与应用。初学者的教科书。第二版。 （英语） Zbl 1457.18003号

新泽西州哈肯萨克：世界科学（ISBN 978-981-12-3608-2/hbk；978-981-12-3610-5/电子书）。xi，第377页。(2021).
MSC公司：18-01 18A05型 18A20型 18A22型 18A23型 18A30型 18A32飞机 18个40 18个C20 18N10型 18E05型 18E10型 06年06月06日 99年6月 08A99号
PDF格式BibTeX公司 XML格式引用
\textit{M.Grandis}，范畴理论与应用。初学者的教科书。第二版。新泽西州哈肯萨克：世界科学（2021；Zbl 1457.18003）
全文： DOI程序
马尔蒂·卡沃宁

经验模型的类别。 （英语） Zbl 1486.18017号

Selinger，Peter（ed.）等人，第15届量子物理与逻辑国际会议论文集，QPL’18，加拿大哈利法克斯，2018年6月3日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）287239-252（2019年）。
MSC公司：18层20 18A23型 18A25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Karvonen}，电子。程序。西奥。计算。科学。（EPTCS）287239-252（2019年；Zbl 1486.18017）
全文： arXiv公司 链接
麦克库斯克，盖伊;阿莱西奥·桑塔马利亚

关于自然变换的组合性。 （英语） Zbl 1528.18001号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第33条，第22页（2018年）。
MSC公司：18年23日 18A25型 18日第15天 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{G.McCusker}和\textit{A.Santamaria}，LIPIcs——莱布尼茨国际程序。通知。119，第33条，22 p.（2018；Zbl 1528.18001）
全文： DOI程序
马克·格兰迪斯

范畴理论与应用。初学者的教科书。 （英语） Zbl 1393.18001号

新泽西州哈肯萨克：世界科学（ISBN 978-981-3231-06-1/hbk）。x、 第294页。(2018).
审核人：奥雷连·贾门特（Villeneuve d'Ascq）
MSC公司：18-01 18A05型 18个20 18A22型 18A23型 18A30型 18A32飞机 18A40型 18立方厘米20 18N10型 18E05型 18E10型 06年06月06日 99年6月 08A99号
PDF格式BibTeX公司 XML格式引用
\textit{M.Grandis}，范畴理论与应用。初学者的教科书。新泽西州哈肯萨克：世界科学（2018；Zbl 1393.18001）
全文： DOI程序
文森特·达诺斯;伊利亚斯·加尼尔

迪里克莱是天生的。 （英语） Zbl 1352.60004号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319137-164，仅电子版（2015）。
MSC公司：60A05型 18A23型 18个C20 60G05型 62G99型
PDF格式BibTeX公司 XML格式引用
\textit{V.Danos}和\textit{I.Garnier}，电子。注释Theor。计算。科学。319、137--164（2015；Zbl 1352.60004）
全文： DOI程序
萨尔瓦多，特里加利

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

预印本，arXiv:1311.3524[math.CT]（2013）；撤回通知同上。
MSC公司：08A55号 1999年第17天 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 1364.68337号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学讲义7560195-206（2012）。
MSC公司：68立方英尺 2012年1月6日 2016年60月 18A23型 18B99型
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}，莱克特。注释计算。科学。7560、195--206（2012；Zbl 1364.68337）
全文： DOI程序
胡安·克莱门特·维达尔;Tur，Juan Soliveres公司

关于藤原聪的形态和变换（作为二维多门广义代数的具体化及其在多门克隆与代数理论等价中的应用）。 arXiv:1201.5239

预印本，arXiv:120.5239[math.CT]（2012）。
MSC公司：05年3月 35层03 08年68月 08A40号 18A23型 18立方厘米 18D05日 03C95号 68问题65
BibTeX公司 引用
\textit｛J.C.Vidal｝和\textit｛J.S.Tur｝，“论藤原聪的语素和变换（作为二维多排序一般代数的具体化及其在多排序克隆和代数理论之间等价性的应用）”，预印本，arXiv:1201.5239[math.CT]（2012）
全文： arXiv公司
OA许可证
马里奥·卡卡莫;格林·温克塞尔

限制自然保护。 （英语） Zbl 1272.18001号

Birkedal，L.（编辑），计算机科学范畴理论第十届会议论文集（CTCS 2004），丹麦哥本哈根，2004年8月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记122，3-22（2005）。
MSC公司：18A22型 18A23型 18A30型 第68季度55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Caccomo}和\textit{G.Winksel}，电子。注释Theor。计算。科学。122、3--22（2005年；Zbl 1272.18001）
全文： 链接
佐兰·佩特里奇

在类序列系统中进行切割消除。 （英语） 兹比尔1002.03049

Krapeć，A.，向S.B.Prešić致敬。庆祝他65岁生日的报纸。贝尔格莱德：马特马提奇基研究所SANU，73-78（2001）。
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）
MSC公司：05年3月 18A23型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Petrić}，in：向S.B.Prešić致敬。庆祝他65岁生日的报纸。贝尔格莱德：马特马提奇研究所SANU。73-78（2001年；Zbl 1002.03049）
查韦斯·罗德里格斯，玛丽亚·欧内斯特尼亚;安吉尔·洛佩斯·戈麦斯

编织逻辑：最简单的模型。 （英语） Zbl 0976.03038号

国际J.Theor。物理学。 40，第1期，95-103（2001）.
审核人：H.-J.Vogel（波茨坦）
MSC公司：03C05号机组 08C05号机组 05C20号 18A23型 03G30型 18B99型
PDF格式BibTeX公司 XML格式引用
\textit{M.E.查韦斯·罗德里格斯}和\textit{A.López Gómez}，国际期刊Theor。物理学。40，第1号，95--103（2001；Zbl 0976.03038）
全文： DOI程序
巴巴耶夫，A.A。

双闭范畴中正则态射的相等性。 （英语） Zbl 1203.18001号

事务处理。阿卡德。科学。阿塞拜疆。，序列号。物理学-技术数学。科学。 数学第五卷第19页。机械。，17-20 (1999).
MSC公司：18A23型 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Babaev}，翻译。阿卡德。科学。阿塞拜疆。，序列号。物理学-技术数学。科学。数学第五卷第19页。机械。，17-20（1999年；Zbl 1203.18001）
R.F.布鲁特。;P.J.斯科特。

一个非交换的完全完备性定理。（扩展摘要）。 （英语） Zbl 0908.03048号

Girard，Jean-Yves（编辑）等人，《线性逻辑》96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第3、11页（1996年）。
MSC公司：05年3月 03秒20 18A23型
PDF格式BibTeX公司 XML格式引用
\textit{R.F.Blute}和\textit{P.J.Scott}，in：线性逻辑96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔。第11页（1996年；Zbl 0908.03048）
全文： 链接
加博尔·塞德利

从格拟序到同余对合格的自然等价。 （英语） Zbl 0821.06006

Chajda，I.（编辑）等人，《普通代数和有序集》。1994年9月4日至12日在捷克共和国霍尼利波娃举行的国际会议和暑期学校会议记录。奥洛穆克：帕拉克大学奥洛穆奇分校代数和几何系，33-44（1994）。
MSC公司：06B10号 08A30型 06B15号 18A23型 08C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{G.Czédli}，in：一般代数和有序集。1994年9月4日至12日在捷克共和国霍尼利波娃举行的国际会议和暑期学校会议记录。奥洛穆克：帕拉克大学奥洛穆奇分校代数和几何系。33-44（1994年；Zbl 0821.06006）
罗伯特·贝克斯（Robert A.Bekes）。;彼得·希尔顿。

作为局部紧群表示的伴随函子的归纳和限制。 （英语） Zbl 0783.2202号

国际数学杂志。数学。科学。 第16期，第1期，第61-66页（1993年）.
审核人：E.Kaniuth（帕德博恩）
MSC公司：22日30分 18A23型 22日第10天 18A40型
PDF格式BibTeX公司 XML格式引用
\textit｛R.A.Bekes｝和\textit｛P.J.Hilton｝，国际数学杂志。数学。科学。16，编号1，61--66（1993；Zbl 0783.2202）
全文： DOI程序 欧洲DML
吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。

作为自然变换的正规形式和无割证明。 （英语） Zbl 0753.03024号

计算机科学逻辑，Proc。研讨会，伯克利/加利福尼亚州（美国）1989年，出版。，数学。科学。Res.Inst.21，217-241（1992）。
审核人：G.Mints（斯坦福大学）
MSC公司：05年3月 18A23型 03B20型 第68季度55 18日第15天 03B70号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{J.-Y.Girard}等人，in：计算机科学的逻辑。1989年11月13日至17日在美国加利福尼亚州伯克利市数学科学研究所举行的研讨会论文集。217--241（1992年；Zbl 0753.03024）
罗伯托·迪·科斯莫;朱塞佩·隆戈

作为自然变换的对象或术语的构造性等价命题和同构。 （英语） Zbl 0751.03027号

计算机科学逻辑，Proc。研讨会，伯克利/加利福尼亚州（美国）1989年，出版。，数学。科学。Res.Inst.21，73-94（1992）。
审核人：G.Mints（斯坦福）
MSC公司：03财年03 03B20型 18A23型 03B40型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{R.Di Cosmo}和\textit{G.Longo}，in：来自计算机科学的逻辑。1989年11月13日至17日在美国加利福尼亚州伯克利市数学科学研究所举行的研讨会论文集。73-94（1992年；兹bl 0751.03027）
巴纳赫，T.O。;M.M.Zarichnyj。

迭代超空间函子的紧化。 （英语。俄文原件） Zbl 0655.54006号

苏联。数学。 第10号第31页，第1-4页（1987年）; Izv的翻译。维什。乌切布。扎韦德。，材料1987，第10号（305），3-6（1987）。
审核人：J.奇瓦利纳
MSC公司：54B20型 54立方厘米 18A23型
PDF格式BibTeX公司 XML格式引用
\textit{T.O.Banakh}和\textit{M.M.Zarichnyj}，苏联。数学。31，No.10，1--4（1987；Zbl 0655.54006）；Izv的翻译。维什。乌切布。扎韦德。，材料1987，第10号（305），3--6（1987）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件