research
∙
09/07/2021
Program Specialization as a Tool for Solving Word Equations
The paper focuses on the automatic generating of the witnesses for the w...
research
∙
07/23/2020
On Solving Word Equations via Program Transformation
The paper presents an experiment of solving word equations via specializ...
research
∙
06/29/2018