Dynamical systems with double recursion are undecidable
From MaRDI portal
Publication:6207098
Abstract: A primitive type of two-dimensional dynamic system is introduced. It is shown that there is no decision procedure able to answer if such a dynamical system is ultimately zero.
This page was built for publication: Dynamical systems with double recursion are undecidable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6207098)
