We study the problem of computing minimal distinguishing formulas for
no...
We provide time lower bounds for sequential and parallel algorithms deci...
The most efficient way to calculate strong bisimilarity is by calculatio...
We present a way to implement term rewriting on a GPU. We do this by let...