Languages
Hague, Matthew.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
Potapov, Igor.; Hague, Matthew.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer science
Computer Science.
Computer systems
Computing Methodologies.
Decidability (Mathematical logic)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering/Programming and Operating Systems.