"Partial Projection of Sets Represented by Finite Automata, with ..."

Bernard Boigelot, Jean-François Degbomont (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics