Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

Show other versions (1)

This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras´ ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, m...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dawar, Anuj (Editor), Queiroz, Ruy de (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6188
Subjects:
Computer science.
Computer programming.
Programming languages (Electronic computers).
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Online Access:Full Text via HEAL-Link
Show all versions (2)

Similar Items