Filtrer vos résultats
- 9
- 1
- 4
- 3
- 3
- 8
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 10
- 5
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 10
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
10 résultats
|
|
|
triés par
|
|
|
Rice's theorem for generic limit sets of cellular automataAUTOMATA 2021, Jul 2021, Marseille, France
Communication dans un congrès
hal-03259515v1
|
||
|
|
Directional Dynamics along Arbitrary Curves in Cellular AutomataTheoretical Computer Science, 2011, 412, pp.3800-3821. ⟨10.1016/j.tcs.2011.02.019⟩
Article dans une revue
hal-00451729v3
|
||
|
|
Characterisation of limit measures of higher-dimensional cellular automataTheory of Computing Systems, 2017, 61 (4), pp.1178-1213. ⟨10.1007/s00224-017-9753-1⟩
Article dans une revue
hal-01719833v1
|
||
|
|
Finite State Transducers for Modular Möbius Number SystemsMathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings, pp.323-334, 2012
Chapitre d'ouvrage
hal-01957675v1
|
||
|
|
Rice's Theorem for µ-Limit Sets of Cellular AutomataLuca Aceto, Monika Henzinger, Jiří Sgall. Automata, Languages and Programming, 6756, Springer, pp.89-100, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-22012-8_6⟩
Chapitre d'ouvrage
hal-01957552v1
|
||
|
|
Permutive one-way cellular automata and the finiteness problem for automaton groupsComputability in Europe, Jun 2017, Turku, Finland. ⟨10.1007/978-3-319-58741-7_23⟩
Communication dans un congrès
hal-01436460v2
|
||
The Unary Arithmetical Algorithm in Bimodular Number Systems2013 IEEE 21st Symposium on Computer Arithmetic, 2013
Chapitre d'ouvrage
hal-01957722v1
|
|||
|
|
μ-Limit Sets of Cellular Automata from a Computational Complexity PerspectiveJournal of Computer and System Sciences, 2015, 81 (8), pp.1623-1647. ⟨10.1016/j.jcss.2015.05.004⟩
Article dans une revue
hal-00866094v2
|
||
|
|
Real Time Language Recognition on 2D Cellular Automata: Dealing with Non-convex NeighborhoodsLuděk Kučera, Antonín Kučera. Mathematical Foundations of Computer Science 2017, 4708, Springer Berlin Heidelberg, pp.298-309, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-74456-6_28⟩
Chapitre d'ouvrage
hal-01957536v1
|
||
|
|
Construction of µ-limit SetsJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.76-87
Communication dans un congrès
hal-00542356v1
|