Separability of rational relations in A* × N:::::::m::::::: by recognizable relations is decidable

Christian Choffrut, Serge Grigorieff. Separability of rational relations in A* × N:::::::m::::::: by recognizable relations is decidable. Inf. Process. Lett., 99(1):27-32, 2006. [doi]

Abstract

Abstract is missing.