Relational and algebraic methods in computer science - 21st international conference, RAMiCS 2024, prague, czech republic, august 19-22, 2024, proceedings

Abstract