Cantitate/Preț
Produs

Relational and Algebraic Methods in Computer Science: 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings: Lecture Notes in Computer Science, cartea 14787

Editat de Uli Fahrenberg, Wesley Fussner, Roland Glück
en Limba Engleză Paperback – 10 sep 2024
This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19–22, 2024.
The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 37297 lei

Preț vechi: 46621 lei
-20% Nou

Puncte Express: 559

Preț estimativ în valută:
6601 7741$ 5788£

Carte tipărită la comandă

Livrare economică 26 ianuarie-09 februarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031682780
ISBN-10: 3031682785
Pagini: 261
Ilustrații: VIII, 257 p.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

Tabular and Pretabular Varieties of MTL-algebras.- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces.- Irrationality of Process Replication for Higher-Dimensional Automata.- Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation.- On the Structure of Balanced Residuated Partially-ordered Monoids.- Complete Congruences of Completely Distributive Lattices.- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems.- Restructuring a Concurrent Refinement Algebra.- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras.- Data Migration under a Changing Schema in Ampersand.- Using Matrix Sparsification to Solve Tropical Linear Vector Equations.- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.- L-Fuzzy Weak Preference, Preference, and Choice Relations.- Lifting Star-autonomy.