Separability of rational relations in \(A^* \times \mathbb N^m\) by recognizable relations is decidable
From MaRDI portal
Publication:845664
DOI10.1016/j.ipl.2005.09.018zbMath1184.68310MaRDI QIDQ845664
Serge Grigorieff, Christian Choffrut
Publication date: 29 January 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2005.09.018
68Q45: Formal languages and automata
Related Items
Uses Software