111 citations · 374 across the 31 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Barbara König, Sebastian Küpper
We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the thres…