Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

• Main Author: Calude, Cristian S
• Corporate Author: SpringerLink (Online service)
• Other Authors: Sassone, Vladimiro
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
• Series: IFIP Advances in Information and Communication Technology 323
• Subjects: Computer science; Computer Communication Networks; Software engineering; Computer software; Logic design; Computer Science; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Computation by Abstract Devices; Software Engineering; Mathematical Logic and Formal Languages