Fundamentals of computation theory 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings - FCT 2009 (2009 : Wrocaw, Poland); Kutylowski, Miroslaw; Gebala, Maciej; Charatonik, Witold; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science -- Congresses; Mathematical Logic and Formal Languages; Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematics of Computing; Discrete Mathematics in Computer Science