Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions.

Ivan Korec

Browse the full MFCS paper archive.