01585nlm0 22004571i 450 9900092457204033219783540709183000924572FED01000924572(Aleph)000924572FED0100092457220100926d2007----km-y0itay50------baengDEdrnn-008mamaaSTACS 2007Risorsa elettronica24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedingsedited by Wolfgang Thomas, Pascal WeilBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434393Documento elettronicoTestoFormato html, pdfThomas,WolfgangWeil,PascalITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-70918-3EB990009245720403321Algorithm Analysis and Problem ComplexityComputation by Abstract DevicesComputational complexityComputer scienceComputer ScienceComputer softwareData StructuresData structures (Computer science)Discrete Mathematics in Computer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSTACS 2007772469UNINA