Logical Approaches to Computational Barriers
From MaRDI portal
Publication:5898824
DOI10.1007/11780342zbMath1145.68469OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898824
Nikolaj N. jun. Vorob'ev, Margarita Korovina
Publication date: 30 April 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11780342
Real-analytic and semi-analytic sets (14P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Symbolic dynamics (37B10) Model theory of ordered structures; o-minimality (03C64)
Related Items (5)
Polynomial interrupt timed automata: verification and expressiveness ⋮ Weighted o-minimal hybrid systems ⋮ Unnamed Item ⋮ Bounds on sizes of finite bisimulations of Pfaffian dynamical systems ⋮ Computing combinatorial types of trajectories in Pfaffian dynamics
This page was built for publication: Logical Approaches to Computational Barriers
