Constants and label-equivalence: a decision procedure for reflexive regular splicing languages

From MaRDI portal
(Redirected from Publication:847663)












This page was built for publication: Constants and label-equivalence: a decision procedure for reflexive regular splicing languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847663)