Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Roychoudhury, Abhik (Editor), D’Souza, Meenakshi (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7521
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Theory of Computation.

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected...