東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Relational and algebraic methods in ...

RAMiCS (Conference) (2023 :)

FindBook

Google Book

Amazon

博客來

Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Relational and algebraic methods in computer science/ edited by Roland Glück, Luigi Santocanale, Michael Winter.
其他題名:	20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
其他題名:	RAMiCS 2023
其他作者:	Glück, Roland.
團體作者:	RAMiCS (Conference)
出版者:	Cham :Springer International Publishing : : 2023.,
面頁冊數:	xviii, 293 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer science - Mathematics -
電子資源:	https://doi.org/10.1007/978-3-031-28083-2
ISBN:	9783031280832

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 science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /[electronic resource] :RAMiCS 2023edited by Roland Glück, Luigi Santocanale, Michael Winter. - Cham :Springer International Publishing :2023. - xviii, 293 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,138961611-3349 ;. - Lecture notes in computer science ;13896..

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.

ISBN: 9783031280832

Standard No.: 10.1007/978-3-031-28083-2doiSubjects--Topical Terms:

678603
Computer science
--Mathematics

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
LDR:03103nmm a2200349 a 4500 001 2317050
003 DE-He213
005 20230307095240.0
006 m d
007 cr nn 008maaau
008 230902s2023 sz s 0 eng d
020 $a 9783031280832 $q (electronic bk.)
020 $a 9783031280825 $q (paper)
024 7 $a 10.1007/978-3-031-28083-2 $2 doi
035 $a 978-3-031-28083-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.M35
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b R173 2023
111 2 $a RAMiCS (Conference) $n (20th : $d 2023 : $c Augsburg, Germany) $3 3630780
245 1 0 $a Relational and algebraic methods in computer science $h [electronic resource] : $b 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / $c edited by Roland Glück, Luigi Santocanale, Michael Winter.
246 3 $a RAMiCS 2023
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2023.
300 $a xviii, 293 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 13896
505 0 $a 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.
520 $a 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.
650 0 $a Computer science $x Mathematics $x Congresses. $3 678603
650 0 $a Algebraic logic $v Congresses. $3 844579
650 0 $a Relation algebras $v Congresses. $3 844580
650 1 4 $a Logic in AI. $3 3386372
650 2 4 $a Database Management System. $3 3591759
650 2 4 $a Knowledge Based Systems. $3 3538738
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Data Mining and Knowledge Discovery. $3 898250
700 1 $a Glück, Roland. $3 3630781
700 1 $a Santocanale, Luigi. $3 3630782
700 1 $a Winter, Michael. $3 2162558
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13896. $3 3630783
856 4 0 $u https://doi.org/10.1007/978-3-031-28083-2
950 $a Computer Science (SpringerNature-11645)