Publication:5002799: Difference between revisions
From MaRDI portal
Publication:5002799
Created automatically from import240129110113 |
EloiFerrer (talk | contribs) m EloiFerrer moved page O-Minimal Invariants for Discrete-Time Dynamical Systems to O-Minimal Invariants for Discrete-Time Dynamical Systems: Duplicate |
||
(No difference)
|
Latest revision as of 16:10, 2 May 2024
DOI10.4230/LIPIcs.ICALP.2018.114zbMath1499.68066arXiv1802.09263WikidataQ114820565 ScholiaQ114820565MaRDI QIDQ5002799
James Worrell, Joël Ouaknine, Shaull Almagor, Dmitry Chistikov
Publication date: 28 July 2021
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1802.09263
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03C64: Model theory of ordered structures; o-minimality