Reachability in Register Machines with Polynomial Updates
Alain Finkel‚ Stefan Göller and Christoph Haase
Book Title
Mathematical Foundations of Computer Science‚ MFCS
Pages
409–420
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
8087
Year
2013