Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - Zeume, Thomas; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017)
Dynamic Complexity: Definitions and Examples -- Relating Small Dynamic Complexity Classes -- Lower Bounds for Dynamic Complexity Classes. .
Keywords: Computer logic; Software engineering; Mathematical logic; Programming languages (Electronic computers).; Algorithms; Computer programming; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Programming Techniques