Logical methods in computer science

Journal Title

Logical methods in computer science

Alternativer Titel

LMCS

Typ

Journal

JCR Abbreviation

LOG METH COMPUT SCI

ISSN

1860-5974

Verlag

Department of Theoretical Computer Science, Technical University of Braunschweig

ZDB Nummer