Leivant, Daniel.
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / [electronic resource] : edited by Daniel Leivant, Ruy Queiroz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4576 0302-9743 ; . - Lecture Notes in Computer Science, 4576 .
9783540734451
10.1007/978-3-540-73445-1 doi
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.
QA75.5-76.95
004.0151
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / [electronic resource] : edited by Daniel Leivant, Ruy Queiroz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4576 0302-9743 ; . - Lecture Notes in Computer Science, 4576 .
9783540734451
10.1007/978-3-540-73445-1 doi
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.
QA75.5-76.95
004.0151