Electronic Notes in Theoretical Computer Science, Volume 169

Volume 169, March 2007

Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)
maintained by Schloss Dagstuhl LZI at University of Trier