01730nlm0 22004811i 450 9900092415204033219783540333401000924152FED01000924152(Aleph)000924152FED0100092415220100926d2006----km-y0itay50------baengDEdrnn-008mamaaRelational Methods in Computer ScienceRisorsa elettronica8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. CathBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433929Documento elettronicoTestoFormato html, pdfDüntsch,IvoMacCaull,WendyWinter,MichaelITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11734673EB990009241520403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computational complexityComputer scienceComputer ScienceDiscrete Mathematics in Computer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationRelational Methods in Computer Science772440UNINA