1860-5974 is the ISSN of Logical Methods in Computer Science.

About Logical Methods in Computer Science

ISSN
1860-5974
Publisher
Technischen Universitat Braunschweig