Languages
Delzanno, Giorgio.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Delzanno, Giorgio.; Potapov, Igor.
(Language materials, printed)
Subjects
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer Science.
Graph theory
Decidability (Mathematical logic)
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Computer systems