Languages
Ouaknine, Joel.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
Ouaknine, Joel.; Potapov, Igor.; Worrell, James.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems- Verification
Computation by Abstract Devices.
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Coding and Information Theory.
Decidability (Mathematical logic)
Computer Science.