2 citations · 2 across the 1 of their papers we have counts for
1 paper
Manfred Droste, Stefan Dück
Nested words introduced by Alur and Madhusudan are used to capture structures with both linear and hierarchical order, e.g. XML documents, without losing valuable closure propertie…