Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Artemov, Sergei (Editor), Nerode, Anil (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7734
• Subjects: Computer science.; Arithmetic and logic units, Computer.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Arithmetic and Logic Structures.; Logics and Meanings of Programs.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Foundations.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is b...