検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter
(Lecture Notes in Computer Science. ISSN:16113349 ; 13896)

データ種別 電子ブック
版 1st ed. 2023.
出版者 (Cham : Springer International Publishing : Imprint: Springer)
出版年 2023
大きさ XVIII, 293 p. 25 illus., 4 illus. in color : online resource
著者標目 Glück, Roland editor
Santocanale, Luigi editor
Winter, Michael editor
SpringerLink (Online service)

所蔵情報を非表示

URL
射水-電子 007 EB0002215 Computer Scinece R0 2005-6,2022-3

9783031280832

書誌詳細を非表示

一般注記 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
This 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.
HTTP:URL=https://doi.org/10.1007/978-3-031-28083-2
件　名 LCSH:Logic programming
LCSH:Database management
LCSH:Expert systems (Computer science)
LCSH:Computer science—Mathematics
LCSH:Artificial intelligence
LCSH:Data mining
FREE:Logic in AI
FREE:Database Management System
FREE:Knowledge Based Systems
FREE:Mathematics of Computing
FREE:Artificial Intelligence
FREE:Data Mining and Knowledge Discovery
分　類 LCC:QA76.63
DC23:005.115
書誌ID EB00001603
ISBN 9783031280832

 類似資料

検索結果一覧に戻る