단행본 상세

서지주요정보
Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings
서명 / 저자 Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter.
저자명 Glück, Roland. editor. (orcid)0000-0001-7909-1942 https://orcid.org/0000-0001-7909-1942 edt http://id.loc.gov/vocabulary/relators/edt ; Santocanale, Luigi. editor. (orcid)0000-0002-4237-7856 https://orcid.org/0000-0002-4237-7856 edt http://id.loc.gov/vocabulary/relators/edt ; Winter, Michael. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2023.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2023.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 13896
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783031280832
기타 표준번호 10.1007/978-3-031-28083-2
청구기호 QA76.63
형태사항 XVIII, 293 p. 25 illus., 4 illus. in color. online resource.
언어 English
내용 Amalgamation 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.
주제 Logic programming.
Database management.
Expert systems (Computer science).
Computer science --Mathematics.
Artificial intelligence.
Data mining.
Logic in AI.
Database Management System.
Knowledge Based Systems.
Mathematics of Computing.
Artificial Intelligence.
Data Mining and Knowledge Discovery.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031280825 Printed edition: 9783031280849
QR CODE