Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings - Artemov, Sergei; Nerode, Anil.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Information theory; Algebra -- Data processing; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Arithmetic and Logic Structures; Symbolic and Algebraic Manipulation; Theory of Computation; Mathematical Logic and Foundations