6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…