External Links

    Journal: Theoretical Computer Science

    Volume 251, Issue 1-2

    1 -- 166Géraud Sénizergues. L(A)=L(B)? decidability results from complete formal systems
    runs on