The Unsolvability of the Equivalence Problem for epsilon-free NGSM's with Unary Input (Output) Alphabet and Applications

Oscar H. Ibarra

Browse the full FOCS paper archive.