An Algorithm Constructing the Semilinear Post

Alain Finkel, Grgoire Sutre

Browse the full MFCS paper archive.