Dynamical systems with double recursion are undecidable
From MaRDI portal
Publication:6207098
arXiv0710.2090MaRDI QIDQ6207098FDOQ6207098
Authors: Mihai Prunescu 
Publication date: 10 October 2007
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)
