文章基本信息
- 标题：The Complexity of Datalog on Linear Orders
- 本地全文：下载
- 作者：Martin Grohe ; Goetz Schwandtner
- 期刊名称：Logical Methods in Computer Science
- 印刷版ISSN：1860-5974
- 电子版ISSN：1860-5974
- 出版年度：2009
- 卷号：5
- 期号：01
- DOI：10.2168/LMCS-5(1:4)2009
- 出版社：Technical University of Braunschweig
- 摘要：
Abstract
- 关键词：DATALOG;Upper Bound;Containments;Successor
