MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03593nam a22003855i 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230307s2023 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031280832 |
| -- |
978-3-031-28083-2 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
5,115 |
| Edition number |
23 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Relational and Algebraic Methods in Computer Science |
| Medium |
[electronic resource] : |
| Remainder of title |
20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings / |
| Statement of responsibility, etc. |
edited by Roland Glück, Luigi Santocanale, Michael Winter. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2023. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cham : |
| Name of publisher, distributor, etc. |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| Date of publication, distribution, etc. |
2023. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVIII, 293 p. 25 illus., 4 illus. in color. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
13896 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Database management. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Expert systems (Computer science). |
| 9 (RLIN) |
45584 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer science |
| General subdivision |
Mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Data mining. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic in AI. |
| 9 (RLIN) |
1465463 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Database Management System. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Knowledge Based Systems. |
| 9 (RLIN) |
1468347 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematics of Computing. |
| 9 (RLIN) |
1464792 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Data Mining and Knowledge Discovery. |
| 9 (RLIN) |
1360501 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Glück, Roland. |
| Relator term |
editor. |
| Relationship |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) |
1517863 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Santocanale, Luigi. |
| Relator term |
editor. |
| Relationship |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) |
1517864 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Winter, Michael. |
| Relator term |
editor. |
| Relationship |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-28083-2">https://doi.org/10.1007/978-3-031-28083-2</a> |
| Materials specified |
Click Here |
| 887 ## - NON-MARC INFORMATION FIELD |
|---|
| Content of non-MARC field |
Akhil Chandra Saren |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-Books |
