Cover Image

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

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Artemov, Sergei. (Editor), Nerode, Anil. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Lecture Notes in Computer Science, 7734
Subjects:
Computer science.
Information theory.
Logic design.
Logic, Symbolic and mathematical.
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.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-35722-0

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-35722-0

Similar Items