Labelings for Decreasing Diagrams
Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart
- 期刊名称Journal of Automated Reasoning
- 作者Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart
- 卷第54卷
- 期第2期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小951.12KB
- 发表时间2015-2
- DOI10.1007/s10817-014-9316-y
- 页码101-133