Name
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 |