Login / Signup

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

Paola Bonizzoni
Published in: Theor. Comput. Sci. (2010)
Keyphrases