Logic, Language, Information and Computation
Daniel Leivant, Ruy de Queiroz
Logic, Language, Information and Computation - 2007
978-3-540-73445-1
Algorithm Analysis and Problem Complexity
Algorithms
Mathematical Logic and Formal Languages
Mathematics of Computing
Theory of Computation
Computer Science
Logic, Language, Information and Computation - 2007
978-3-540-73445-1
Algorithm Analysis and Problem Complexity
Algorithms
Mathematical Logic and Formal Languages
Mathematics of Computing
Theory of Computation
Computer Science