Bournez, Olivier.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
SpringerLink (Online service); Formenti, Enrico.; Bournez, Olivier.; Workshop on the Preservation of Stability under Discretization ((2001 :); Potapov, Igor.
(Language materials, printed)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
Potapov, Igor.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bournez, Olivier.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Algorithm Analysis and Problem Complexity.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Configurations
Computer systems
Theory of Computation.
Logic in AI.
Mathematics of Computing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.