Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006

Flavio Corradini, Carlo Toffalori, editors, Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006. Volume 169 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]

Conference: lmcs2007

Abstract

Abstract is missing.