×

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

最新的 引文 关联
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫

符号彩色SCC分解。 （英语） Zbl 1474.68210号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).
MSC公司：68兰特 05C15号 05C85号 68瓦30 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。12652，64-83（2021；Zbl 1474.68210）
全文： 内政部
OA许可证
马西耶·本德考斯基

（lambda）-演算中代换分解的平均情况分析。 （英语） Zbl 1528.68057号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第7条，第21页（2019年）。
MSC公司：68甲18 03B40型 2015年1月5日 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bendkowski}，LIPIcs——莱布尼茨国际程序。通知。131，第7条，第21页（2019年；Zbl 1528.68057）
全文： 内政部 arXiv公司
伯恩哈德·吉滕贝格;伊莎贝拉·拉彻

关于随机lambda-terms特殊类中的变量数。 （英语） Zbl 1486.03031号

Fill，James Allen（编辑）等人，第29届算法分析的概率、组合和渐近方法国际会议，2018年6月25日至29日，AofA 2018，瑞典乌普萨拉。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。110，第25条，第14页（2018年）。
MSC公司：03B40型 05C20号 05C90年
PDF格式BibTeX公司 XML格式引用
\textit{B.Gittenberger}和\textit{I.Larcher}，LIPIcs——莱布尼茨国际程序。通知。110，第25条，第14页（2018；Zbl 1486.03031）
全文： 内政部
内马尼亚·德拉加尼奇;马尔科维奇，佩塔;乌尔贾列维奇（Vlado Uljarević）;萨米尔·扎希罗维奇

局部有限簇中同余满足半分布性的幂等强Mal'cev条件的一个刻画。 （英语） Zbl 1454.08005号

代数大学。 79，第3号，第53号论文，34页（2018年）.
MSC公司：08B05号 08年10月 08A70号 10年5月
PDF格式BibTeX公司 XML格式引用
\textit{N.Draganić}等人，代数大学。79，第3号，第53号论文，34页（2018；Zbl 1454.08005）
全文： 内政部
洛夫库什·阿加瓦尔;迈克尔·孔帕彻

\通过Henson有向图的约化分类，得到了（mathrm{Sym}（mathbbN））的（2^{aleph_{0}}）配对非同构极大闭子群。 （英语） Zbl 1522.03109号

J.塞姆。日志。 83，第2期，395-415（2018）.
MSC公司：03C40号 03C15号 03C35号 05C20号 20B27型 20B35码
PDF格式BibTeX公司 XML格式引用
\textit{L.Agarwal}和textit{M.Kompatscher}，J.Symb。日志。83，第2号，395--415（2018；Zbl 1522.03109）
全文： 内政部 arXiv公司
Larose，Benoit公司

代数与有向图CSP的复杂性：综述。 （英语） Zbl 1482.68166号

Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl后续行动7267-285（2017）。
MSC公司：68兰特 05C20号 08A70号 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{B.Larose}，Dagstuhl Follow-Ups 7，267--285（2017；Zbl 1482.68166）
全文： 内政部
凯蒂·M·奇科特。;约翰·特拉斯。

可数1-传递树。 （英语） Zbl 1436.06002号

Droste，Manfred（编辑）等人，《组、模块和模型理论——调查和最新发展》。纪念吕迪格·哥贝尔。2016年2月1日至4日，德国缪勒海姆-德鲁尔集团理论与模型理论之间新路径会议记录。查姆：斯普林格。225-268 (2017).
MSC公司：06年06月06日 05二氧化碳 06A07年
PDF格式BibTeX公司 XML格式引用
\textit{K.M.Chicot}和\textit{J.K.Truss}，in：组、模块和模型理论——调查和最新发展。为了纪念吕迪格·哥贝尔。2016年2月1日至4日，德国缪勒海姆-德鲁尔集团理论与模型理论之间新路径会议记录。查姆：斯普林格。225-268（2017；Zbl 1436.06002）
全文： 内政部
约翰·施密特

枚举中的权重。 （英语） Zbl 1485.68114号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 208-219 (2017).
MSC公司：65年第68季度 03B05号 2015年1月5日 68兰特 68瓦05
PDF格式BibTeX公司 XML格式引用
\textit{J.Schmidt}，莱克特。注释计算。科学。10168208-219（2017；Zbl 1485.68114）
全文： 内政部 arXiv公司
Krzysztof R.阿普特。;苏尼尔·西蒙;多米尼克·沃伊特扎克

有向图上的协调博弈。 （英语） Zbl 1484.91076号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21567-80（2016）。
MSC公司：91A43型 05年5月57日 05C20号
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Apt}等人，《电子》。程序。西奥。计算。科学。（EPTCS）21567--80（2016；Zbl 1484.91076）
全文： arXiv公司 链接
约翰·马考斯基（Johann A.Makowsky）。;埃琳娜·拉夫。

二阶逻辑中可定义的图多项式的语义等价。 （英语） Zbl 1478.05078号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9803, 279-296 (2016).
MSC公司：05C31号 03B16号
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Makowsky}和\textit{E.V.Ravve}，莱克特。注释计算。科学。9803、279--296（2016；Zbl 1478.05078）
全文： 内政部
大卫·布雷索林;黛拉·莫妮卡，达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科

区间时序逻辑的黑暗面：标记不可判定边界。 （英语） Zbl 1325.03014号

安。数学。Artif公司。智力。 71，编号1-3，41-83（2014）.
审核人：雅罗斯拉夫·什兰科（Kryvyi Rih）
MSC公司：03B44号 03天35分 05B45号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，《数学年鉴》。Artif公司。智力。71、编号1--3、41-83（2014；Zbl 1325.03014）
全文： 内政部
图利奥·塞切里尼·西尔伯斯坦;米歇尔·库纳特;弗朗西丝卡·菲奥伦齐;Paul E.舒普。

组、图、语言、自动机、游戏和二阶一元逻辑。 （英语） Zbl 1269.68060号

欧洲药典。 33，第7期，1330-1368（2012）.
审核人：马格努斯·斯坦比（图尔库）
MSC公司：65年第68季度 2010年1月20日 03B25号 68问题80 05C25号 03B70号 68-02
PDF格式BibTeX公司 XML格式引用
\textit{T.Ceccherini-Silberstein}等人，《欧洲期刊》Comb。33，第7号，1330-1368（2012年；兹bl 1269.68060）
全文： 内政部 arXiv公司
朱可夫。;O.V.库迪诺夫。;Selivanov，V.L。

标记森林的（h）-拟序封闭操作的可定义性。 （英语。俄文原件） Zbl 1214.03023号

代数逻辑 49，第2期，第120-129页（2010年）; 摘自《代数逻辑》49，第2期，181-194（2010）。
MSC公司：03C40号 05二氧化碳 06A07年
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Zhukov}等人，《代数逻辑》49，No.2，120-129（2010；Zbl 1214.03023）；《代数逻辑学》第49卷第2期第181--194页（2010年）的译文
全文： 内政部
唐纳德·班伯;I.R.古德曼。;Nguyen，Hung T。

具有例外规则的稳健推理：从二阶概率到通过概率、可能性和有向图的上包络进行论证。 （英语） 兹比尔1088.68165

安。数学。Artif公司。智力。 45，编号1-2，83-171（2006）.
MSC公司：68层37 03B48号 60G57型 05C20号
PDF格式BibTeX公司 XML格式引用
\textit{D.Bamber}等人，《数学年鉴》。Artif公司。智力。45，编号1--2，83-171（2006；Zbl 1088.68165）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件