scientific article; zbMATH DE number 7204476

DOI10.4230/LIPIcs.ICALP.2017.24zbMath1441.68083arXiv1611.01344MaRDI QIDQ5111354

Shaull Almagor, Joël Ouaknine, James Worrell

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1611.01344

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear dynamical systemsalgebraic algorithmsorbit problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Number-theoretic algorithms; complexity (11Y16) Decidability of theories and sets of sentences (03B25) Symbolic dynamics (37B10)

Related Items (5)

What's decidable about discrete linear dynamical systems? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ First-order orbit queries ⋮ Algebraic model checking for discrete linear dynamical systems

This page was built for publication: