Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
- Editors
Conference proceedings
LFCS 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4514)