Logical Methods in Computer Science ; Volume 15

Journal Article

Thomas Kahl

Publication

Year of publication: 2019

Identifiers

Locators

URL: https://doi.org/10.23638/LMCS-15(3:28)2019

DOI: 10.23638/LMCS-15(3:28)2019

Alternative Titles