Reachability in Register Machines with Polynomial Updates.

Alain Finkel, Stefan Gller, Christoph Haase

Browse the full MFCS paper archive.