Böcker av Thomas Zeume

"Small Dynamic Complexity Classes" was awarded the E.W. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context.