Bournez, Olivier.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(1998 :); Bournez, Olivier.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(1998 :); Bournez, Olivier.; Formenti, Enrico.; Potapov, Igor.; SpringerLink (Online service)
(書目-電子資源)
主題
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.