Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Maneth, Sebastian (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5642
• Subjects: Computer science.; Computer system failures.; Computer programming.; Computers.; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Programming Techniques.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; System Performance and Evaluation.

This book constitutes the thoroughly refereed papers of the 14th International Conference on Implementation and Application of Automata, CIAA 2009, held in Sydney, Austrialia, in July 2009. The 23 revised full papers togehter with 6 short papers were carefully selected from 42 submissions. The paper...