3 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Antonina Nepeivoda
The paper presents an experiment of solving word equations via specialization of a configuration WE(R,E), where the program WE can be considered as an interpreter testing whether a…