×

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

最新的 引文 关联
约尔格恩德鲁利斯;Helle Hvid Hansen先生;迪米特里·亨德里克斯;安德鲁·波伦斯基;亚历山德拉·席尔瓦

无限重写和无限等式逻辑的共性基础。 （英语） Zbl 1459.68089号

日志。方法计算。科学。 14，第1号，第3号论文，44页（2018年）.
MSC公司：2012年第68季度 03B70号 08B05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Endrullis}等人，《日志》。方法计算。科学。14，第1号，第3号论文，44页（2018；Zbl 1459.68089）
全文： 内政部 arXiv公司
利波·巴托;安德烈·克罗金;罗斯·威拉德

多态性，以及如何使用它们。 （英语） Zbl 1482.68161号

Krokhin，Andrei（ed.）等人，约束满足问题：复杂性和可逼近性，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，1-44（2017）。
MSC公司：68兰特 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Barto}等人，Dagstuhl Follow-Ups 7，1--44（2017；Zbl 1482.68161）
全文： 内政部
Damien Pous;朱里安·罗特

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

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日，在瑞典乌普萨拉举行的2017年欧洲软件理论与实践联合会议ETAPS第20届国际会议FOSSACS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。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）
全文： 内政部 链接
弗朗西斯·阿坦波雷;温特，迈克尔

关系代数、矩阵和多值决策图。 （英语） Zbl 1364.68147号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。《计算机科学讲义》7560248-263（2012）。
MSC公司：68第05页 08A02号 15A30型 18B10型
PDF格式BibTeX公司 XML格式引用
\textit{F.Atampore}和\textit{M.Winter}，莱克特。注释计算。科学。7560、248--263（2012年；Zbl 1364.68147）
全文： 内政部
格热戈兹，马奇恩斯基

依赖结构丰富的代数签名。 （英语） Zbl 1312.68145号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137，226-250（2012）。
MSC公司：第68季度第65季度 03G30型 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Marczyñski}，莱克特。注释计算。科学。7137226--250（2012；Zbl 1312.68145）
全文： 内政部
Aceto，卢卡;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克

CCS与轩尼诗的合并没有有限等式公理化。 （英语） Zbl 1078.68102号

西奥。计算。科学。 330，第3期，377-405（2005）.
MSC公司：68问题85 08A70号 03B45号 03C05号机组 2010年第68季度 65年第68季度 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Theor。计算。科学。330，第3号，377--405（2005；Zbl 1078.68102）
全文： 内政部 链接
Aceto，卢卡;佐尔坦·埃西克;Anna Ingólfsdóttir

自然数的最大加代数没有有限的等式基础。 （英语） Zbl 1021.08001号

西奥。计算。科学。 293，第1期，169-188（2003）.
审核人：列奥尼德·马特维维奇·马蒂诺夫（鄂木斯克）
MSC公司：08A70号 03C05号机组 2015年第68季度 70年第68季度 08B20号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Theor。计算。科学。293，第1号，169--188（2003；Zbl 1021.08001）
全文： 内政部
米歇尔·比多特;安德烈·塔莱基

具体模型类别中的行为满意度和等效性。 （英语） Zbl 1508.68207号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059241-256（1996年）。
MSC公司：68问题55 08C05号机组 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bidoit}和\textit{A.Tarlecki}，莱克特。注释计算。科学。1059、241--256（1996年；Zbl 1508.68207）
全文： 内政部
约瑟夫·戈根（Joseph A.Goguen）。;何塞·梅塞盖尔

有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号

西奥。计算。科学。 105，第2期，217-273（1992）.
审核人：S.Bloom（霍博肯）
MSC公司：68问题55 08A70号 99年6月
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第2号，217--273（1992；Zbl 0778.68056）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件