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
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computing Methodologies.
Decidability (Mathematical logic)
Computer Science.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer systems