- 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 (1 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
