Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and
Yazar
Cook, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA
View Other Search Results
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA
Yazar
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
Systems of Dynamic Epistemic Logic -- `Transitivity' of consequence relations -- Boolean Game with
Arama Sonuçlarını Sınırlandır
Daraltılmış: