✓

@book{book_1678118,
    title = {Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity},
    author = {Thomas Zeume},
    publisher = {Springer-Verlag Berlin Heidelberg},
    isbn = {978-3-662-54313-9,978-3-662-54314-6,112-114-116-1},
    year = {2017},
    series = {Lecture Notes in Computer Science 10110},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=35994fa03c9ef68e2d84f6a522f33acc},
    date-added = {2024-4-21 8:2:7 +0100}
}

@book{book_1678118, title = {Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity}, author = {Thomas Zeume}, publisher = {Springer-Verlag Berlin Heidelberg}, isbn = {978-3-662-54313-9,978-3-662-54314-6,112-114-116-1}, year = {2017}, series = {Lecture Notes in Computer Science 10110}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=35994fa03c9ef68e2d84f6a522f33acc}, date-added = {2024-4-21 8:2:7 +0100} }