


default search action
22nd RAMiCS 2026: Będlewo, Poland
- Uli Fahrenberg

, Wesley Fussner
, Luigi Santocanale
:
Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings. Lecture Notes in Computer Science 16526, Springer 2026, ISBN 978-3-032-22468-2 - Andrei Aleksandrov:

Structural Testing with Homomorphic Encryption. 1-19 - Damian Arellanes:

Compositional Control-Driven Boolean Circuits. 20-40 - Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot:

Fan-Causality and Uniform Continuity on Final Coalgebras. 41-58 - Ignacio Bellas Acosta, John G. Stell:

Weak Converse and Complement for Quantale-Enriched Profunctors. 59-76 - Paul Brunet:

Representations - A Meta-model for System Analysis. 77-94 - Marta Bílková, Wesley Fussner, Roman Kuznets:

Agent Interpolation in Distributed Systems. 95-113 - Michal Certík, Andreas Emil Feldmann, Jaroslav Nesetril, Pawel Rzazewski:

On Computational Aspects of Cores of Ordered Graphs. 114-132 - Andrew Craig, Wilmari Morton, Claudette Robinson:

Contractions of Quasi Relation Algebras and Applications to Representability. 133-150 - Andrew Craig, Claudette Robinson:

Pregroup Representable Expansions of Residuated Lattices. 151-168 - Roland Glück:

Simulation Quotients Simulating Bisimulation Quotients. 169-187 - Dan Johnson, Michael Levet, Petr Vojtechovský, Brett Widholm:

Parallel Complexity of Identifying Groups and Quasigroups via Decompositions. 188-207 - Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov:

Complexity of Equational Theories for Relational and Language Action Lattices. 208-228 - Nagashri Krishnakumar, Harshil Mittal, Jayalal Sarma:

On the Reachability Problem on Monoid-Labelled Undirected Graphs. 229-247 - Ioana Leustean, Bogdan Macovei:

Hybrid Many-Sorted Modal Logic with Nominal Terms. 248-265 - Arnau Messegué Buisan, Hebert Pérez-Rosés:

Some Families of Greedy Numerical Semigroups. 266-282 - Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight:

Combinatory Completeness inStructured Multicategories. 283-300 - Luke Serafin:

Morita Rigidity for Kleene Algebras. 301-317 - Michael Winter:

On the Dual Composition of Relations. 318-334

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














