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).
Item Number
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