Mario Coppo, Elena Lodi, G. Michele Pinna Theoretical Computer Science - 2005 ISBN: 978-3-540-32024-1 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityComputation by Abstract DevicesData StructuresLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesTheory of ComputationComputer Science