Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings - Leucker, Martin; Morgan, Carroll; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Information theory; Computer software; Algebra -- Data processing; Computer Science; Computation by Abstract Devices; Theory of Computation; Algorithm Analysis and Problem Complexity; Software Engineering; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation