01580nlm0 22004571i 450 9900092424704033219783540322887000924247FED01000924247(Aleph)000924247FED0100092424720100926d2006----km-y0itay50------baengDEdrnn-008mamaaSTACS 2006Risorsa elettronica23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedingsedited by Bruno Durand, Wolfgang ThomasBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433884Documento elettronicoTestoFormato html, pdfDurand,BrunoThomas,WolfgangITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11672142EB990009242470403321Algorithm 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 2006772399UNINA