Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings - Leivant, Daniel; Queiroz, Ruy.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Information theory; Computer software; Electronic data processing; Algorithms; Computer Science; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Mathematics of Computing; Computing Methodologies; Algorithms