Formenti, Enrico.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Cellular automata technology = 4th Asian Symposium, ASCAT 2025, Ranchi, India, March 6-8, 2025 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Das, Sukanta.; Kamilya, Supreeti.; Formenti, Enrico.
(Language materials, printed)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
SpringerLink (Online service); Dediu, Adrian-Horia.; Formenti, Enrico.; Martín-Vide, Carlos.; Truthe, Bianca.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
Formenti, Enrico.; Bournez, Olivier.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Potapov, Igor.
(Language materials, printed)
Machines, computations, and universality = 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024 : revised selected papers /
by:
Formenti, Enrico.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Durand-Lose, Jérôme.
(Language materials, printed)
Subjects
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Cellular automata
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Formal Languages and Automata Theory.
Logic in AI.
Computers.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Algorithms.
Mathematical Logic and Formal Languages.
Computer science
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.
Computational Intelligence.
Computer systems