Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings - Delzanno, Giorgio; Potapov, Igor.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Computer software; Logic design; Computer Science; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices