MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such representations can be computed in O(n) time and updated in O(log(n)) time. The framework is of potential interest for data structures and algorithms for trees whose complex...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 21, Issue 4
Hlavní autoři:	Kleest-Meißner, Sarah, Marasus, Jonas, Niewerth, Matthias
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.01.2025
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!