Workshop on Logic, Language, Information and Computation (2010 :)
Overview
| Works: | 5 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
Dawar, Anuj.; Queiroz, Ruy.; SpringerLink (Online service); Workshop on Logic, Language, Information and Computation (2010 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer logic- Congresses.
Logic, Symbolic and mathematical- Congresses.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.