- Regular Separators for VASS Coverability Languages Chris Köcher Georg Zetzsche Sat 16 December 2023
- Separability by Piecewise Testable Languages and Downward Closures Beyond Subwords Georg Zetzsche Sat 14 July 2018
- Separability of Rational Relations in A^* times mathbb N^m by Recognizable Relations is Decidable Christian Choffrut Serge Grigorieff Mon 25 January 2016
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
