001461255 000__ 04677cam\a2200673\i\4500
001461255 001__ 1461255
001461255 003__ OCoLC
001461255 005__ 20230503003343.0
001461255 006__ m\\\\\o\\d\\\\\\\\
001461255 007__ cr\un\nnnunnun
001461255 008__ 230316s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001461255 020__ $$a9783031280832$$q(electronic bk.)
001461255 020__ $$a3031280830$$q(electronic bk.)
001461255 0247_ $$a10.1007/978-3-031-28083-2$$2doi
001461255 035__ $$aSP(OCoLC)1372321680
001461255 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dUKAHL$$dOCLCF
001461255 049__ $$aISEA
001461255 050_4 $$aQA76.9.M35
001461255 08204 $$a004.01/51$$223/eng/20230316
001461255 1112_ $$aRAMiCS (Conference)$$n(20th :$$d2023 :$$cAugsburg, Germany)
001461255 24510 $$aRelational and algebraic methods in computer science :$$b20th international conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /$$cRoland Glück, Luigi Santocanale, Michael Winter, editors.
001461255 24630 $$aRAMiCS 2023
001461255 264_1 $$aCham :$$bSpringer,$$c[2023]
001461255 264_4 $$c©2023
001461255 300__ $$a1 online resource (xviii, 293 pages) :$$billustrations (some color).
001461255 336__ $$atext$$btxt$$2rdacontent
001461255 337__ $$acomputer$$bc$$2rdamedia
001461255 338__ $$aonline resource$$bcr$$2rdacarrier
001461255 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13896
001461255 500__ $$aInternational conference proceedings.
001461255 500__ $$aIncludes author index.
001461255 5050_ $$aAmalgamation Property for Some Varieties of BL-algebras Generated by one Finite Set of BL-chains with Finitely-many Components -- Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture -- A General Method for Representing Sets of Relations by Vectors -- Contextuality in Distributed Systems -- The Structure of Locally Integral Involutive Po-monoids and Semirings -- Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients -- Dependences Between Domain Constructions in Heterogeneous Relation Algebras -- Normal Forms for Elements of the *-Continuous Kleene Algebras K (x) C2 -- Representable and Diagonally rRpresentable Weakening Relation Algebras -- Completeness and the Finite Model Property for Kleene Algebra, Reconsidered -- What Else is Undecidable About Loops -- Implication Algebras and Implication Semigroups of Binary Relations -- On the Complexity of Kleene Algebra with Domain -- Enumerating, Cataloguing and Classifying all Quantales on up to Nine Elements -- Duoidally Enriched Freyd Categories -- Towards a Theory of Conversion Relations for Prefixed Units of Measure -- Relational Algebraic Approach to the Real Numbers - The Additive Group.
001461255 506__ $$aAccess limited to authorized users.
001461255 520__ $$aThis book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3-6, 2023. The 17 papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers. .
001461255 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 16, 2023).
001461255 650_0 $$aComputer science$$xMathematics$$vCongresses.
001461255 650_0 $$aAlgebraic logic$$vCongresses.
001461255 650_0 $$aRelation algebras$$vCongresses.
001461255 655_0 $$aElectronic books.
001461255 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001461255 655_7 $$aConference papers and proceedings.$$2lcgft
001461255 7001_ $$aGlück, Roland,$$eeditor.
001461255 7001_ $$aSantocanale, Luigi,$$eeditor.
001461255 7001_ $$aWinter, Michael,$$eeditor.
001461255 830_0 $$aLecture notes in computer science ;$$v13896.$$x1611-3349
001461255 852__ $$bebk
001461255 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-28083-2$$zOnline Access$$91397441.1
001461255 909CO $$ooai:library.usi.edu:1461255$$pGLOBAL_SET
001461255 980__ $$aBIB
001461255 980__ $$aEBOOK
001461255 982__ $$aEbook
001461255 983__ $$aOnline
001461255 994__ $$a92$$bISE