文章基本信息
- 标题：Forward Analysis for WSTS, Part III: Karp-Miller Trees
- 本地全文：下载
- 作者：Goubault-Larrecq, Jean ; Finkel, Alain ; Blondin, Michael 等
- 期刊名称：Logical Methods in Computer Science
- 印刷版ISSN：1860-5974
- 电子版ISSN：1860-5974
- 出版年度：2020
- 卷号：16
- 期号：2
- 页码：1-33
- 语种：English
- 出版社：Technical University of Braunschweig
- 摘要：This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions"[STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444
- 关键词：Computer Science - Logic in Computer Science;F.1.1;F.3.1
