000782110 000__ 03882cam\a2200577Ii\4500
000782110 001__ 782110
000782110 005__ 20230306143237.0
000782110 006__ m\\\\\o\\d\\\\\\\\
000782110 007__ cr\cn\nnnunnun
000782110 008__ 170515s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000782110 019__ $$a988386081
000782110 020__ $$a9783319574189$$q(electronic book)
000782110 020__ $$a3319574183$$q(electronic book)
000782110 020__ $$z9783319574172
000782110 0247_ $$a10.1007/978-3-319-57418-9$$2doi
000782110 035__ $$aSP(OCoLC)ocn987185271
000782110 035__ $$aSP(OCoLC)987185271$$z(OCoLC)988386081
000782110 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dAZU$$dOCLCF$$dUAB
000782110 049__ $$aISEA
000782110 050_4 $$aQA76.9.M35
000782110 08204 $$a004.01/51$$223
000782110 1112_ $$aRAMiCS (Conference)$$n(16th :$$d2017 :$$cLyon, France)
000782110 24510 $$aRelational and algebraic methods in computer science :$$b16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /$$cPeter Höfner, Damien Pous, Georg Struth (eds.).
000782110 2463_ $$aRAMiCS 2017
000782110 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000782110 300__ $$a1 online resource (xiv, 323 pages) :$$billustrations.
000782110 336__ $$atext$$btxt$$2rdacontent
000782110 337__ $$acomputer$$bc$$2rdamedia
000782110 338__ $$aonline resource$$bcr$$2rdacarrier
000782110 347__ $$atext file$$bPDF$$2rda
000782110 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10226
000782110 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000782110 500__ $$aInternational conference proceedings.
000782110 500__ $$aIncludes author index.
000782110 5050_ $$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 about Cardinalities of Relations with Applications Supported by Proof Assistants -- Type-n Arrow Categories.
000782110 506__ $$aAccess limited to authorized users.
000782110 520__ $$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. .
000782110 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 15, 2017).
000782110 650_0 $$aComputer science$$xMathematics$$vCongresses.
000782110 650_0 $$aAlgebraic logic$$vCongresses.
000782110 650_0 $$aRelation algebras$$vCongresses.
000782110 7001_ $$aHöfner, Peter,$$eeditor.
000782110 7001_ $$aPous, Damien,$$eeditor.
000782110 7001_ $$aStruth, Georg,$$eeditor.
000782110 77608 $$iPrint version:$$z9783319574172
000782110 830_0 $$aLecture notes in computer science ;$$v10226.
000782110 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000782110 852__ $$bebk
000782110 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-57418-9$$zOnline Access$$91397441.1
000782110 909CO $$ooai:library.usi.edu:782110$$pGLOBAL_SET
000782110 980__ $$aEBOOK
000782110 980__ $$aBIB
000782110 982__ $$aEbook
000782110 983__ $$aOnline
000782110 994__ $$a92$$bISE