×

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

最新 引文 关联
陈，胡比;彼得·迈尔

幺半群上的量化约束满足。 （英语） Zbl 1369.68219号

Regnier，Laurent（编辑）等人，2016年8月29日至9月1日，法国马赛CSL’16，第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-022-4）。LIPIcs–莱布尼茨国际信息学会议录62，第15条，第14页。(2016).
MSC公司：19年第68季度 03C13号机组 08A70号 20立方米 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}和\textit{P.Mayr}，LIPIcs——莱布尼茨国际程序。通知。62，第15条，第14页（2016；Zbl 1369.68219）
全文： 内政部
陈，胡比

量化约束满足和多项式生成幂性质。（扩展摘要）。 （英语） Zbl 1155.68404号

Aceto，Luca（编辑）等人，自动机，语言和编程。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学讲义5126197-208（2008）。
MSC公司：65年第68季度 03B70号 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}，莱克特。注释计算。科学。5126197--208（2008年；Zbl 1155.68404）
全文： 内政部
曼纽尔·博迪尔斯基;陈，胡比;简·卡拉;蒂莫·冯·奥尔岑

最大无限值约束语言。 （英语） Zbl 1171.68722号

Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596546-557（2007）。
MSC公司：68T20型 03C35号 08A70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，Lect。注释计算。科学。4596、546--557（2007年；Zbl 1171.68722）
全文： 内政部 链接
曼纽尔·博迪尔斯基;陈，胡比

无限域量化约束满足中的可折叠性。 （英语） Zbl 1225.68095号

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207197-211（2006）。
MSC公司：65年第68季度 03B70号 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}和\textit{H.Chen}，Lect。注释计算。科学。4207197--211（2006；Zbl 1225.68095）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段