Relational and algebraic methods in computer science : 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / Roland Glück, Luigi Santocanale, Michael Winter, editors.
RAMiCS (Conference) (20th : 2023 : Augsburg, Germany); Glück, Roland, editor.; Santocanale, Luigi, editor.; Winter, Michael, editor.
2023
QA76.9.M35
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Relational and algebraic methods in computer science : 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / Roland Glück, Luigi Santocanale, Michael Winter, editors.
Meeting Name RAMiCS (Conference) (20th : 2023 : Augsburg, Germany)
ISBN 9783031280832 (electronic bk.)
3031280830 (electronic bk.)
DOI https://doi.org/10.1007/978-3-031-28083-2
Published Cham : Springer, [2023]
Copyright ©2023
Language English
Description 1 online resource (xviii, 293 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-28083-2 doi
Call Number QA76.9.M35
Dewey Decimal Classification 004.01/51
Summary 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. .
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed March 16, 2023).
Added Author Glück, Roland, editor.
Santocanale, Luigi, editor.
Winter, Michael, editor.
Series Lecture notes in computer science ; 13896. 1611-3349
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export