01803nlm0 22004691i 450 9900092627204033219783642046391000926272FED01000926272(Aleph)000926272FED0100092627220100926d2009----km-y0itay50------baengDEdrnn-008mamaaRelations and Kleene Algebra in Computer ScienceRisorsa elettronica11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedingsedited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard MöllerBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435827Documento elettronicoTestoFormato html, pdfBerghammer,RudolfJaoua,Ali MohamedMöller,BernhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04639-1EB990009262720403321AlgebraAlgebraAlgebraData processingComputational complexityComputer scienceComputer ScienceDiscrete Mathematics in Computer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesOrder, Lattices, Ordered Algebraic StructuresSymbolic and Algebraic ManipulationRelations and Kleene Algebra in Computer Science772046UNINA