On the Satisfiability of Context-free String Constraints with Subword-Ordering.

C. Aiswarya Soumodev Mal Prakash Saivasan

Published in: LICS (2022)

Keyphrases

context free
context free grammars
context sensitive
context dependent
grammatical inference
attribute grammars
inductive inference
pattern matching
graph grammars
n gram
finite state
xml documents
query processing
grammar rules