×

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

最新的 引文 关联
于穆拉诺夫。五、。；吉梅内兹，R。

传递有向图与离散空间的同调。 （英语。俄文原件） Zbl 07787668号

Sb.数学。 214，第8期，1121-1139（2023）; 翻译自Mat.Sb.214，No.8，74-93（2023）。
审核人：马雷克·戈拉辛斯基（奥斯汀）
MSC公司：18个G85 05C20号 05立方38 55N10型 55号35
PDF格式BibTeX公司 XML格式引用
\textit{Yu.V.Muranov}和\textit{R.Jimenez}，Sb.数学。214，编号8，1121--1139（2023；Zbl 07787668）；翻译自材料Sb.214，编号8，74-93（2023）
全文： 内政部 MNR公司
理查德·斯塔特曼

只有一个对象的类别中的产品。 （英语） 兹比尔1478.18005

Spivak，David I.（编辑）等人，《2020年第三届国际应用范畴理论年会论文集》，ACT 2020，美国剑桥，2020年7月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）333347-353（2021年）。
审核人：Hirokazu Nishimura（筑波）
MSC公司：18B40码 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Statman}，电子。程序。西奥。计算。科学。（EPTCS）333347-353（2021；Zbl 1478.18005）
全文： arXiv公司 链接
迈卡，暂停；克莉丝汀·赫利希；詹姆斯·费尔班克斯

科学模型增强的合成框架。 （英语） Zbl 07453978号

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）323172-182（2020）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{M.Halter}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323172--182（2020；Zbl 07453978）
全文： arXiv公司 链接
U.E.沃尔特。；A.R.马提尼。；Häusler，E.H。

Hoare逻辑的索引和光纤结构。 （英语） Zbl 1495.03053号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 125-145 (2020).
MSC公司：03B70号 03G30型 18号45
PDF格式BibTeX公司 XML格式引用
\textit{U.E.Wolter}等人，《电子》。注释Theor。计算。科学。348125-145（2020年；Zbl 1495.03053）
全文： 内政部
菲利波·邦奇；Jens Seeber先生；巴韦尔·索博辛斯基

图形连接查询。 （英语） Zbl 1528.68098号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第13条，第23页（2018年）。
MSC公司：第68页，共15页 18 C50 18N10型
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。119，第13条，23 p.（2018；Zbl 1528.68098）
全文： 内政部 arXiv公司
Damien Pous；朱里安·罗特

伴侣、共密度和因果关系。 （英语） Zbl 1442.68149号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 106-123 (2017).
MSC公司：68问题85 03B70号 06B23号 08A70号 18立方厘米 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}和\textit{J.Rot}，莱克特。注释计算。科学。10203、106-123（2017；Zbl 1442.68149）
全文： 内政部 链接
史蒂夫·阿沃迪（编辑）；尼古拉·甘比诺（编辑）；埃里克·帕尔姆格伦（编辑）

引言-从类型理论和同伦理论到单价基础。 （英语） 兹比尔1362.03004

数学。结构。计算。科学。 25，第5期，1005-1009（2015）.
MSC公司：03-06 03B15号机组 03G30型 第18页第15页 55单位40 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}（编辑）等，《数学》。结构。计算。科学。25，第5号，1005--1009（2015；Zbl 1362.03004）
全文： 内政部
哈特穆特·埃里格；乌尔里克·戈拉斯；阿内格丽特·哈贝尔；莱恩·兰伯斯；费尔南多·奥雷贾斯

\具有嵌套应用条件的（mathcal{M}）-粘合剂转化系统。一： 并行、并发和合并。 （英语） Zbl 1342.68176号

数学。结构。计算。科学。 24，第4号，文章ID e240406，48页（2014）.
MSC公司：第68季度第42季度 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛H.Ehrig｝等人，数学。结构。计算。科学。24，第4号，文章ID e240406，48页（2014；Zbl 1342.68176）
全文： 内政部
C.E.马丁。；南卡罗来纳州柯蒂斯。

多重关系的代数。 （英语） 兹比尔1352.18001

数学。结构。计算。科学。 第3期第23期，第635-674页（2013年）.
审核人：Mark S.Burgin（洛杉矶）
MSC公司：18B10型 03B70号 18立方厘米05 18日99 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.E.Martin}和\textit{S.A.Curtis}，数学。结构。计算。科学。23，第3号，635--674（2013；Zbl 1352.18001）
全文： 内政部
迈克尔·约翰逊；戴维·诺曼；权力，约翰

数据精化的范畴理论模型。 （英语） Zbl 1336.68035号

Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，21-38（2009）。
MSC公司：68号30 03G30型 18 C50 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Johnson}等人，《电子》。注释Theor。计算。科学。225，21-38（2008年；兹bl 1336.68035）
全文： 内政部
彼得·科尼恩伯格；弗兰克·诺德曼

部分超学说：部分函数逻辑和霍尔逻辑的分类模型。 （英语） Zbl 0809.03020号

数学。结构。计算。科学。 第4期，第2期，第117-146页（1994年）.
审核人：N.Curteanu（伊阿什）
MSC公司：03B70号 第68季度55 03G30型 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Knijnenburg}和\textit{F.Nordemann}，数学。结构。计算。科学。4，第2号，117--146（1994；Zbl 0809.03020）
全文： 内政部
费利佩·布拉乔；曼弗雷德·德罗斯特

从域到具有并发性的自动机。 （英语） Zbl 1418.68134号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 669-681 (1993).
MSC公司：68问题85 18B20型 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bracho}和\textit{M.Droste}，莱克特。注释计算。科学。700、669--681（1993年；Zbl 1418.68134）
全文： 内政部
安德烈亚·科拉迪尼；乌戈·蒙塔纳里

结构化转换系统的代数语义及其在逻辑程序中的应用。 （英语） Zbl 0756.68075号

西奥。计算。科学。 103，第1期，第51-106页（1992年）.
审核人：A.科拉迪尼
MSC公司：第68季度55 18天35分 68N17号 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{U.Montanari}，Theor。计算。科学。103，编号1，51--106（1992；Zbl 0756.68075）
全文： 内政部
卫斯理·菲亚；迈克尔·福曼

提出了纯ML的范畴语义。 （英语） Zbl 1425.68243号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 533-544 (1992).
MSC公司：第68季度55 18对25 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{W.Phoa}和\textit{M.Fourman}，莱克特。注释计算。科学。623533-544（1992年；兹比尔1425.68243）
全文： 内政部 链接
法国贝勒加德

模化分类乘积理论的匹配过程。 （英语） Zbl 1493.68100号

Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。第463270-282页（1990年）。
MSC公司：68号30 18A30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Bellegarde}，莱克特。注释计算。科学。463270--282（1990年；Zbl 1493.68100）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件