01588nlm0 22004451i 450 9900092614704033219783642034299000926147FED01000926147(Aleph)000926147FED0100092614720100926d2009----km-y0itay50------baengDEdrnn-008mamaaRecent Trends in Algebraic Development TechniquesRisorsa elettronica19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papersedited by Andrea Corradini, Ugo MontanariBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435486Documento elettronicoTestoFormato html, pdfCorradini,AndreaMontanari,UgoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-03429-9EB990009261470403321Computation by Abstract DevicesComputer scienceComputer ScienceInformation theoryLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsMathematics of ComputingTheory of ComputationRecent Trends in Algebraic Development Techniques771917UNINA