Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming t...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Leivant, Daniel., Queiroz, Ruy de.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series: Lecture Notes in Computer Science, 4576
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-73445-1
Tags: Add Tag
No Tags, Be the first to tag this record!