Disjoint pattern matching and implication in strings
Leonid Libkin, Cristina SirangeloVolume:
110
Year:
2010
Language:
english
Pages:
5
DOI:
10.1016/j.ipl.2009.11.009
File:
PDF, 174 KB
english, 2010