×

找到27个文档(结果1-27)

FC[REG]的联合查询片段生成的语言。 (英语) Zbl 07766947号

Drewes,Frank(编辑)等人,《语言理论的发展》。第27届国际会议,DLT 2023,瑞典乌梅,2023年6月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13911, 233-245 (2023).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拆分扳手原子:非循环核心扳手的工具。 (英语) Zbl 07838432号

Aspnes,James(编辑)等人,第一届动态网络算法基础研讨会,SAND 2022,虚拟会议,2022年3月28日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。221,第10条,第18页(2022)。
MSC公司:68Mxx毫米 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拆分扳手原子:非循环核心扳手的工具。 (英语) 兹比尔07836640

Olteanu,Dan(编辑)等人,第25届数据库理论国际会议,ICDT 2022,英国爱丁堡,虚拟会议,2022年3月29日至4月1日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。220,第10条,第18页(2022年)。
MSC公司:第68页,共15页
PDF格式BibTeX公司 XML格式引用

文档扳手的动态复杂性。 (英语) Zbl 07650989号

Lutz,Carsten(编辑)等人,第23届数据库理论国际会议,ICDT 2020,丹麦哥本哈根,2020年3月30日至4月2日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。155,第11条,第21页(2020年)。
MSC公司:第68页,共15页
PDF格式BibTeX公司 XML格式引用

文档扳手的逻辑。 (英语) Zbl 1402.68047号

Benedikt,Michael(编辑)等人,第20届数据库理论国际会议,2017年ICDT,意大利威尼斯,2017年3月21日至24日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-024-8)。LIPIcs–莱布尼茨国际信息学会议录68,第13条,第18页(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有反向引用的确定性正则表达式。 (英语) Zbl 1402.68115号

Vollmer,Heribert(编辑)等人,第34届计算机科学理论方面研讨会(STACS 2017),德国汉诺威,2017年3月8-11日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-028-6)。LIPIcs–莱布尼茨国际信息学学报66,第33条,第14页(2017年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

文档扳手:从表达能力到决策问题。 (英语) Zbl 1369.68182号

Martens,Wim(ed.)等人,第19届数据库理论国际会议,2016年3月15日至18日,法国波尔多ICDT’16。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-002-6)。LIPIcs–莱布尼茨国际信息学论文集48,第17条,第16页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展正则表达式:简洁性和可判定性。 (英语) Zbl 1230.68129号

Schwentick,Thomas(编辑)等人,STACS 2011。2011年3月10日至12日,第28届计算机科学理论方面国际研讨会,德国多特蒙德。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-25-5)。LIPIcs–莱布尼茨国际信息学会议录9,507-518,仅电子版(2011年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

弱明确的形态。 (英语) Zbl 1230.68162号

Schwentick,Thomas(编辑)等人,STACS 2011。2011年3月10日至12日,第28届计算机科学理论方面国际研讨会,德国多特蒙德。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-25-5)。LIPIcs–莱布尼茨国际信息学会议录9,213-224,仅电子版(2011年)。
MSC公司:68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

变量数目有界的模式的包含问题。 (英语) Zbl 1250.68148号

高元(主编)等,语言理论的发展。2010年8月17日至20日,第14届国际会议,DLT 2010,加拿大安大略省伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14454-7/pbk)。计算机科学讲座笔记6224100-111(2010)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

描述性模式的存在和不存在。 (英语) Zbl 1195.68055号

Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日至7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583228-239(2009)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于模式决策问题的坏消息。 (英语) Zbl 1161.68526号

伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257327-338(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

分段变形的明确性。 (英语) Zbl 1202.68225号

Harju,Tero(编辑)等人,《语言理论的发展》。第11届国际会议,DLT 2007,芬兰图尔库,2007年7月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73207-5/pbk)。计算机科学课堂讲稿4588,181-192(2007)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

字符串的清晰形态图像。 (英语) Zbl 1132.68443号

De Felice,Clelia(编辑)等人,《语言理论的发展》。第九届国际会议,DLT 2005,意大利巴勒莫,2005年7月4-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26546-5/pbk)。计算机科学课堂讲稿3572248-259(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份