Başlık:
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Yazar:
Glück, Roland. editor.
ISBN:
9783031280832
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
XVIII, 293 p. 25 illus., 4 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 13896
İçerik:
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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-28083-2Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 520890-1001 | XX(520890.1) | Arıyor... | Arıyor... |