177 citations · 356 across the 9 of their papers we have counts for
1 paper · 2 filters
Christian Kindermann, Anne-Marie George, Bijan Parsia +1
In this paper, we introduce the problem of rewriting finite formal languages using syntactic macros such that the rewriting is minimal in size. We present polynomial-time algorithm…