01586nlm0 22004331i 450 9900092555904033219783540789130000925559FED01000925559(Aleph)000925559FED0100092555920100926d2008----km-y0itay50------baengDEdrnn-008mamaaRelations and Kleene Algebra in Computer ScienceRisorsa elettronica10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, GermBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434988Documento elettronicoTestoFormato html, pdfBerghammer,RudolfMöller,BernhardStruth,GeorgITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78913-0EB990009255590403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationRelations and Kleene Algebra in Computer Science772046UNINA