RAMiCS C

16 papers

YearTitle / Authors
2024A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems.
Roland Glück
2024Complete Congruences of Completely Distributive Lattices.
Cameron Calk, Luigi Santocanale
2024Cyclic Group Spectra for Some Small Relation Algebras.
Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver
2024Data Migration Under a Changing Schema in Ampersand.
Sebastiaan J. C. Joosten, Stef Joosten
2024Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras.
Andrew Craig, Peter Jipsen, Claudette Robinson
2024Irrationality of Process Replication for Higher-Dimensional Automata.
Thomas Baronner, Henning Basold, Márton Hablicsek
2024L-Fuzzy Weak Preference, Preference, and Choice Relations.
Frimpong Osei, Michael Winter
2024Lifting Star-Autonomy.
Cédric de Lacroix, Gregory Chichery, Luigi Santocanale
2024Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation.
Ignacio Bellas Acosta, John G. Stell
2024On the Structure of Balanced Residuated Partially Ordered Monoids.
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2024Presenting Interval Pomsets with Interfaces.
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Uli Fahrenberg, Wesley Fussner, Roland Glück
2024Restructuring a Concurrent Refinement Algebra.
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
2024Tabular and Pretabular Varieties of MTL-Algebras.
Stefano Aguzzoli, Matteo Bianchi
2024Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.
Yoshiki Nakamura
2024Using Matrix Sparsification to Solve Tropical Linear Vector Equations.
Nikolai Krivulin