Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings - Fitzgerald, John S.; Haxthausen, Anne E.; Yenigun, Husnu; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
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