New Techniques for Proving the Decidability of Equivalence Problems.

Karel Culk II

Browse the full ICALP paper archive.