LEADER 00806nam0-2200289 --450 001 9910748600403321 005 20231102101323.0 010 $a978-88-343-4350-0 020 $aIT$b2022-6560 100 $a20231102d2022----kmuy0itay5050 ba 101 0 $aita$cita 102 $aIT 105 $ay 001yy 200 1 $aMafia$efare memoria per combatterla$fAntonio Balsamo 210 $aMilano$cVita e pensiero$d2022 215 $a167 p.$d22 cm 225 1 $aPiccola biblioteca per un Paese normale 610 0 $aMafia$aItalia 676 $a364.1060945$v23$zita 700 1$aBalsamo,$bAntonio$f<1964- >$0321137 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910748600403321 952 $aSOC 80$b1064/2023$fFSPBC 959 $aFSPBC 996 $aMafia$93574981 997 $aUNINA LEADER 04461nam 22007815 450 001 9910483670003321 005 20251225205511.0 010 $a3-319-57418-3 024 7 $a10.1007/978-3-319-57418-9 035 $a(CKB)4340000000060680 035 $a(DE-He213)978-3-319-57418-9 035 $a(MiAaPQ)EBC6302665 035 $a(MiAaPQ)EBC5596114 035 $a(Au-PeEL)EBL5596114 035 $a(OCoLC)987185271 035 $a(PPN)201471213 035 $a(EXLCZ)994340000000060680 100 $a20170424d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRelational and Algebraic Methods in Computer Science $e16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /$fedited by Peter Höfner, Damien Pous, Georg Struth 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 323 p. 24 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10226 311 08$a3-319-57417-5 320 $aIncludes bibliographical references and index. 327 $aAlgebra for Quantitative Information Flow -- Dual space of a lattice as the completion of a Pervin space -- Images as relations under RelView -- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces -- Varieties of Cubical Sets -- Non-Associative Kleene Algebra and Temporal Logics -- Algebraic Investigation of Connected Components -- Stone Relation Algebras -- Relation algebras, idempotent semirings and generalized bunched implication algebras -- Parsing and Printing of and with Triples -- Software Development in Relation Algebra with Ampersand -- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras -- Aggregation of Votes with Multiple Positions on Each Issue -- Complete solution of an optimization problem in tropical semifield -- Concurrency-Preserving Minimal Process Representation -- Embeddability into relational lattices is undecibable -- Tower Induction and Up-To Techniques for CCS with Fixed Points -- Reasoning aboutCardinalities of Relations with Applications Supported by Proof Assistants -- Type-n Arrow Categories. 330 $aThis book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10226 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aDiscrete mathematics 606 $aFormal Languages and Automata Theory 606 $aSymbolic and Algebraic Manipulation 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aDiscrete Mathematics in Computer Science 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aDiscrete mathematics. 615 14$aFormal Languages and Automata Theory. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aDiscrete Mathematics in Computer Science. 676 $a511.324 702 $aHöfner$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPous$b Damien$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStruth$b Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483670003321 996 $aRelational and Algebraic Methods in Computer Science$92201468 997 $aUNINA