Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / [electronic resource] :
edited by Sergei N. Artemov, Anil Nerode.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4514 0302-9743 ; .
9783540727347
Computer science Logic design Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations