Decidability of the Star Problem in A* x {b}*

Paul Gastin, Edward Ochmanski, Antoine Petit, Brigitte Rozoy. Decidability of the Star Problem in A* x {b}*. Inf. Process. Lett., 44(2):65-71, 1992.

Abstract

Abstract is missing.