*Result*: Logical methods in computer science

*Publication*:
Erlangen : Logical Methods in Computer Science e.V.
Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, früher
*Dates of publication/Sequential designation*:
Nachgewiesen 2004 -
*Physical description scale*:
Online-Ressource
*Format*:
*eJournal*
*Language*:
*eng*
*Subject Added Keywords*:
*ISSN*:
1860-5974
*oa_rights*:
Open Access
CC BY-ND 4.0