2 citations · 3 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CC2015
Recognizing Union-Find trees is NP-complete
Kitti Gelle, Szabolcs Ivan
Disjoint-Set forests, consisting of Union-Find trees are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact…
cs.FL2015
Algebraic Characterization of Forest Logics
Kitti Gelle, Szabolcs Ivan
In this paper we define future-time branching temporal logics evaluated over forests, that is, ordered tuples of ordered, but unranked, finite trees. We associate a rich class FL[$…