Login / Signup

Sequential and distributed on-the-fly computation of weak tau-confluence.

Radu MateescuAnton Wijs
Published in: Sci. Comput. Program. (2012)
Keyphrases