Languages
Finkel, Alain.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; Potapov, Igor.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Leroux, Jerome.
(Language materials, printed)
Subjects
Software Engineering.
Algorithm Analysis and Problem Complexity.
Decidability (Mathematical logic)
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer systems