Browse Subject Headings
Relational and Algebraic Methods in Computer Science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-23, 2024, Proceedings
Relational and Algebraic Methods in Computer Science : 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-23, 2024, Proceedings
Click to enlarge
ISBN No.: 9783031682780
Pages: x, 261
Year: 202407
Format: Trade Paper
Price: $ 89.69
Dispatch delay: Dispatched between 7 to 15 days
Status: Available

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.


To be able to view the table of contents for this publication then please subscribe by clicking the button below...
To be able to view the full description for this publication then please subscribe by clicking the button below...
Browse Subject Headings