- Extensions of ømega-Regular Languages Mikołaj Bojaundefinedczyk Edon Kelmendi Rafał Stefaundefinedski Georg Zetzsche Sat 04 July 2020
- Weak MSO+U over infinite trees Mikolaj Bojanczyk Szymon Torunczyk Thu 05 April 2012
- On the Topological Complexity of MSO+U and Related Automata Models Szczepan Hummel Michał Skrzypczak Szymon Toruńczyk Tue 13 March 2012
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
