default search action

combined dblp search
author search
venue search
publication search

ask others

21st RAMiCS 2024: Prague, Czech Republic

> Home > Conferences and Workshops > RAMiCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2024
Uli Fahrenberg, Wesley Fussner, Roland Glück:
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings. Lecture Notes in Computer Science 14787, Springer 2024, ISBN 978-3-031-68278-0
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AguzzoliB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AguzzoliB24
Stefano Aguzzoli, Matteo Bianchi:
Tabular and Pretabular Varieties of MTL-Algebras. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AlmBCCC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AlmBCCC24
Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver:
Cyclic Group Spectra for Some Small Relation Algebras. 19-27
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AmraneBCFZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AmraneBCFZ24
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski:
Presenting Interval Pomsets with Interfaces. 28-45
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BaronnerBH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BaronnerBH24
Thomas Baronner, Henning Basold, Márton Hablicsek:
Irrationality of Process Replication for Higher-Dimensional Automata. 46-64
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AcostaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AcostaS24
Ignacio Bellas Acosta, John G. Stell:
Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation. 65-82
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BonzioGJPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BonzioGJPS24
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto:
On the Structure of Balanced Residuated Partially Ordered Monoids. 83-100
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/CalkS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/CalkS24
Cameron Calk, Luigi Santocanale:
Complete Congruences of Completely Distributive Lattices. 101-118
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Gluck24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Gluck24
Roland Glück:
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems. 119-134
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/HayesME24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/HayesME24
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost:
Restructuring a Concurrent Refinement Algebra. 135-155
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/CraigJR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/CraigJR24
Andrew Craig, Peter Jipsen, Claudette Robinson:
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. 156-174
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/JoostenJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/JoostenJ24
Sebastiaan J. C. Joosten, Stef Joosten:
Data Migration Under a Changing Schema in Ampersand. 175-192
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Krivulin24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Krivulin24
Nikolai Krivulin:
Using Matrix Sparsification to Solve Tropical Linear Vector Equations. 193-206
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Nakamura24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Nakamura24
Yoshiki Nakamura:
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops. 207-224
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/OseiW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/OseiW24
Frimpong Osei, Michael Winter:
L-Fuzzy Weak Preference, Preference, and Choice Relations. 225-241
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/LacroixCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/LacroixCS24
Cédric de Lacroix, Gregory Chichery, Luigi Santocanale:
Lifting Star-Autonomy. 242-260

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.