01606nlm0 22004451i 450 9900092507104033219783540324256000925071FED01000925071(Aleph)000925071FED0100092507120100926d2005----km-y0itay50------baengDEdrnn-008mamaaProcesses, Terms and Cycles: Steps on the Road to InfinityRisorsa elettronicaEssays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthdayedited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel VrijerBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433838Documento elettronicoTestoFormato html, pdfMiddeldorp,AartOostrom,VincentRaamsdonk,FemkeVrijer,RoelITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11601548EB990009250710403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsProcesses, Terms and Cycles: Steps on the Road to Infinity772136UNINA