Top

Published in:

Open Access 01-02-2015

Labelings for Decreasing Diagrams

Authors: Harald Zankl, Bertram Felgenhauer, Aart Middeldorp

Title: Labelings for Decreasing Diagrams
Authors: Harald Zankl
Bertram Felgenhauer
Aart Middeldorp
Publication date: 01-02-2015
Publisher: Springer Netherlands
Published in: Journal of Automated Reasoning / Issue 2/2015
Print ISSN: 0168-7433
Electronic ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-014-9316-y

Premium Partner