LEADER 04507nam  22007695  450 
001 9910682589703321
005 20240222170150.0
010   $a3-031-28083-0
024 7 $a10.1007/978-3-031-28083-2
035   $a(CKB)5580000000520127
035   $a(MiAaPQ)EBC7211150
035   $a(Au-PeEL)EBL7211150
035   $a(OCoLC)1372321680
035   $a(DE-He213)978-3-031-28083-2
035   $a(PPN)269092722
035   $a(EXLCZ)995580000000520127
100   $a20230307d2023      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRelational and Algebraic Methods in Computer Science$b[electronic resource] $e20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3?6, 2023, Proceedings /$fedited by Roland Glück, Luigi Santocanale, Michael Winter
205   $a1st ed. 2023.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023.
215   $a1 online resource (309 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13896
311   $a3-031-28082-2 
320   $aIncludes bibliographical references.
327   $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.
330   $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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13896
606   $aLogic programming
606   $aDatabase management
606   $aExpert systems (Computer science)
606   $aComputer science?Mathematics
606   $aArtificial intelligence
606   $aData mining
606   $aLogic in AI
606   $aDatabase Management System
606   $aKnowledge Based Systems
606   $aMathematics of Computing
606   $aArtificial Intelligence
606   $aData Mining and Knowledge Discovery
615  0$aLogic programming.
615  0$aDatabase management.
615  0$aExpert systems (Computer science).
615  0$aComputer science?Mathematics.
615  0$aArtificial intelligence.
615  0$aData mining.
615 14$aLogic in AI.
615 24$aDatabase Management System.
615 24$aKnowledge Based Systems.
615 24$aMathematics of Computing.
615 24$aArtificial Intelligence.
615 24$aData Mining and Knowledge Discovery.
676   $a004.0151
702   $aGlu?ck$b Roland
702   $aSantocanale$b Luigi
702   $aWinter$b Michael$c(Professor),
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910682589703321
996   $aRelational and Algebraic Methods in Computer Science$92201468
997   $aUNINA