default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd 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.
last updated on 2026-04-20 23:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
