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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Leivant, Daniel (Editor), Queiroz, Ruy de (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4576
• Subjects: Computer science.; Computers.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Computing Methodologies.

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...