×

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

基于语法的树压缩。 (英语) Zbl 1434.68130号

Potapov,Igor(编辑),语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9168, 46-57 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

压缩树标准化。 (英语) 兹比尔1440.68148

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 337-349 (2015).
PDF格式BibTeX公司 XML格式引用

压缩字符串的相等性测试。 (英语) Zbl 1375.68233号

Manea,Florin(编辑)等,《单词组合学》。2015年9月14日至17日在德国基尔举行的第十届国际会议,WORDS 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-23659-9/pbk;978-3-3169-23660-5/电子书)。计算机科学课程讲稿9304,14-26(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语法压缩树中的参数缩减。 (英语) Zbl 1234.68182号

de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504212-226(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件