000 00625nam a2200145Ia 4500
008 191030s9999 xx 000 0 und d
020 _a9783662543146
100 _aThomas Zeume
245 0 _aSmall Dynamic Complexity Classes
260 _bSpringer
_c2017
440 _aLecture Notes in Computer Science
653 _aLogics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Programming Techniques
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-662-54313-9
942 _cEB
999 _c44219
_d44219