Work-sensitive Dynamic Complexity of Formal Languages.

Jonas Schmidt Thomas Schwentick Till Tantau Nils Vortmeier Thomas Zeume

Published in: CoRR (2021)

Keyphrases

formal languages
formal language theory
xml documents
building blocks
fine grained
first order logic
structural information