Electronic Notes in Theoretical Computer Science, Volume 169

Volume 169, March 2007

Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)