Title | Citations | PageRank | Year |
---|---|---|---|
Program Specialization as a Tool for Solving Word Equations. | 0 | 0.34 | 2021 |
Supercompiling String Programs Using Word Equations as Constraints. | 0 | 0.34 | 2018 |
Ping-Pong Protocols as Prefix Grammars and Turchin Relation. | 1 | 0.35 | 2013 |