Bournez, Olivier.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(1998 :); Bournez, Olivier.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(1998 :); Bournez, Olivier.; Formenti, Enrico.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Mathematical Logic and Formal Languages.
Software Engineering.
Configurations
Mathematics of Computing.
Logics and Meanings of Programs.
Logic in AI.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer Science Logic and Foundations of Programming.
Computer science
Formal Languages and Automata Theory.
Decidability (Mathematical logic)
Computer Science.
Design and Analysis of Algorithms.