scientific article; zbMATH DE number 7724206

DOI10.4230/lipics.mfcs.2021.33arXiv2107.02060MaRDI QIDQ6168447

Julian D'Costa, Joël Ouaknine, Eike Neumann, James Worrell, Engel Lefaucheux

Publication date: 8 August 2023

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

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

zbMATH Keywords

program terminationdiscrete linear dynamical systemscompact semialgebraic setstheory of the reals

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

The complexity of the Hausdorff distance