01487nlm0 22004211i 450 9900092431404033219783540305507000924314FED01000924314(Aleph)000924314FED0100092431420100926d2005----km-y0itay50------baengDEdrnn-008mamaaDevelopments in Language TheoryRisorsa elettronica8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedingsedited by Cristian S. Calude, Elena Calude, Michael J. DinneenBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433340Documento elettronicoTestoFormato html, pdfCalude,Cristian S.Calude,ElenaDinneen,Michael J.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b103739EB990009243140403321Computation by Abstract DevicesComputational complexityComputer scienceComputer ScienceDiscrete Mathematics in Computer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesDevelopments in Language Theory772277UNINA