Umfang:
1 Online-Ressource
,
Illustrationen
ISBN:
9781509030187
Anmerkung:
"In addition to the main symposium, seven workshop were co-located with LICS 2017: INFINITY: Verification of Infinite-State Systems; LearnAut: Learnin and Automata; LCC: Logic and Computational Complexit; LMW: Logic Mentoring Workshop; LOLA: Syntax and Semantics of Low-Level Languages; Metafinite model theory and definability and complexity of numeric graph parameters; WiL: Women in Logic" - Vorwort
,
Literaturangaben
Weitere Ausg.:
ISBN 9781509030194
Sprache:
Englisch
Schlagwort(e):
Informatik
;
Logik
;
Konferenzschrift
Bookmarklink