*Result*: Logical methods in computer science
*Title*:
*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*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISSN*:
1860-5974
*oa_rights*:
Open Access
CC BY-ND 4.0
CC BY-ND 4.0