ENTCS Proceedings of WoLLIC'2005 (Vol. 143)

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)
January 2006
Elsevier Science Pub.

Abstract

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.