RAMICS C

19 papers

YearTitle / Authors
2026Agent Interpolation in Distributed Systems.
Marta Bílková, Wesley Fussner, Roman Kuznets
2026Combinatory Completeness inStructured Multicategories.
Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight
2026Complexity of Equational Theories for Relational and Language Action Lattices.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
2026Compositional Control-Driven Boolean Circuits.
Damian Arellanes
2026Contractions of Quasi Relation Algebras and Applications to Representability.
Andrew Craig, Wilmari Morton, Claudette Robinson
2026Fan-Causality and Uniform Continuity on Final Coalgebras.
Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot
2026Hybrid Many-Sorted Modal Logic with Nominal Terms.
Ioana Leustean, Bogdan Macovei
2026Morita Rigidity for Kleene Algebras.
Luke Serafin
2026On Computational Aspects of Cores of Ordered Graphs.
Michal Certík, Andreas Emil Feldmann, Jaroslav Nesetril, Pawel Rzazewski
2026On the Dual Composition of Relations.
Michael Winter
2026On the Reachability Problem on Monoid-Labelled Undirected Graphs.
Nagashri Krishnakumar, Harshil Mittal, Jayalal Sarma
2026Parallel Complexity of Identifying Groups and Quasigroups via Decompositions.
Dan Johnson, Michael Levet, Petr Vojtechovský, Brett Widholm
2026Pregroup Representable Expansions of Residuated Lattices.
Andrew Craig, Claudette Robinson
2026Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings
Uli Fahrenberg, Wesley Fussner, Luigi Santocanale
2026Representations - A Meta-model for System Analysis.
Paul Brunet
2026Simulation Quotients Simulating Bisimulation Quotients.
Roland Glück
2026Some Families of Greedy Numerical Semigroups.
Arnau Messegué Buisan, Hebert Pérez-Rosés
2026Structural Testing with Homomorphic Encryption.
Andrei Aleksandrov
2026Weak Converse and Complement for Quantale-Enriched Profunctors.
Ignacio Bellas Acosta, John G. Stell