000930348 000__ 03788cam\a2200541Ia\4500
000930348 001__ 930348
000930348 005__ 20230306151451.0
000930348 006__ m\\\\\o\\d\\\\\\\\
000930348 007__ cr\un\nnnunnun
000930348 008__ 200405s2020\\\\sz\\\\\\ob\\\\101\0\eng\d
000930348 020__ $$a9783030435202$$q(electronic book)
000930348 020__ $$a3030435202$$q(electronic book)
000930348 020__ $$z3030435199
000930348 020__ $$z9783030435196
000930348 035__ $$aSP(OCoLC)on1148210738
000930348 035__ $$aSP(OCoLC)1148210738
000930348 040__ $$aYDX$$beng$$cYDX$$dGW5XE
000930348 049__ $$aISEA
000930348 050_4 $$aQA76.9.M35
000930348 08204 $$a004.01/51$$223
000930348 1112_ $$aRAMiCS (Conference)$$n(18th :$$d2020 :$$cPalaiseau, France)
000930348 24510 $$aRelational and algebraic methods in computer science :$$b18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings /$$cUli Fahrenberg, Peter Jipsen, Michael Winter (eds.).
000930348 24630 $$aRAMiCS 2020
000930348 260__ $$aCham :$$bSpringer,$$c©2020.
000930348 300__ $$a1 online resource
000930348 336__ $$atext$$btxt$$2rdacontent
000930348 337__ $$acomputer$$bc$$2rdamedia
000930348 338__ $$aonline resource$$bcr$$2rdacarrier
000930348 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v12062
000930348 4901_ $$aLNCS sublibrary: SL1,Theoretical computer science and general issues
000930348 504__ $$aIncludes bibliographical references and author index.
000930348 5050_ $$aCommutative Doubly-idempotent Semirings Determined by Chains and by Preorder Forests -- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem -- Hardness of Network Satisfaction for Relation Algebras with Normal Representations -- The Theta-Join as a Join With Theta -- Bisimilarity of Diagrams -- Generating Posets Beyond N -- Automated Algebraic Reasoning for Collections and Local Variables with Lenses -- Weakening Relation Algebras and FL 2-algebras -- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras -- A Hierarchy of Algebras for Boolean Subsets -- Differential Hoare Logics and Refinement Calculi for Hybrid System with Isabelle/HOL -- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory -- Expressive Power and Succinctness of the Positive Calculus of Relations -- Stone Dualities from Opfibrations -- Preorders, Partial Semigroups, and Quantales -- Counting and Computing Join-Endomorphisms In Lattices -- A Unary Semigroup Trace Algebra -- The Involutive Quantaloid of Completely Distributive Lattices -- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids -- Sharpness in the Fuzzy World.
000930348 506__ $$aAccess limited to authorized users.
000930348 520__ $$aThis book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, held in Palaiseau, France, in April 2020. The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
000930348 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 15, 2020).
000930348 650_0 $$aComputer science$$xMathematics$$vCongresses.
000930348 650_0 $$aAlgebraic logic$$vCongresses.
000930348 650_0 $$aRelation algebras$$vCongresses.
000930348 7001_ $$aFahrenberg, Uli.
000930348 7001_ $$aJipsen, Peter,$$d1964-
000930348 7001_ $$aWinter, Michael$$c(Professor)
000930348 77608 $$iPrint version:$$z3030435199$$z9783030435196$$w(OCoLC)1141155315
000930348 830_0 $$aLecture notes in computer science ;$$v12062.
000930348 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000930348 852__ $$bebk
000930348 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-43520-2$$zOnline Access$$91397441.1
000930348 909CO $$ooai:library.usi.edu:930348$$pGLOBAL_SET
000930348 980__ $$aEBOOK
000930348 980__ $$aBIB
000930348 982__ $$aEbook
000930348 983__ $$aOnline
000930348 994__ $$a92$$bISE