Non acceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata

From MaRDI portal
Publication:2277854