ENTCS Proceedings of WoLLIC'2005 (Vol. 143)
Ruy J.G.B. de Queiroz, Angus Macintyre & Guilherme Bittencourt (eds.)
Volume 143 of Electronic Notes in Theoretical Computer Science (ISSN 1571-0661)
Elsevier Science Pub.
The papers reviewed for publication in the volume are
the contributions to the
12th Workshop on Logic, Language, Information and Computation
held in Florianópolis, Santa Catarina, Brazil, from July 19th to 22nd, 2005.
Last updated October 26, 2006, 10:17am PDT.