Reachability in Register Machines with Polynomial Updates

Alain Finkel, Stefan Göller, Christoph Haase
January 2013
PDF DOI
Type
Conference paper
Publication
Mathematical Foundations of Computer Science, MFCS