Title of article :
Separability of rational relations in by recognizable relations is decidable
Author/Authors :
Christian Choffrut، نويسنده , , Serge Grigorieff، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2006
Keywords :
formal languages , Automata , Recognizability , Separability
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters