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
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: