Format:
1 Online-Ressource
,
Illustrationen
ISBN:
9781509030187
Note:
"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
Additional Edition:
ISBN 9781509030194
Language:
English
Keywords:
Informatik
;
Logik
;
Konferenzschrift
