Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Browse the full STACS paper archive.