01503nlm0 22004091i 450 9900092469304033219783540378747000924693FED01000924693(Aleph)000924693FED0100092469320100926d2006----km-y0itay50------baengDEdrnn-008mamaaRelations and Kleene Algebra in Computer ScienceRisorsa elettronica9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UKBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434136Documento elettronicoTestoFormato html, pdfSchmidt,Renate A.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11828563EB990009246930403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationRelations and Kleene Algebra in Computer Science772046UNINA