Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter.

Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings - Cham Springer 2021

9783030887018


Logic programming. Computer science-Mathematics. Computer science. Mathematical logic. Logic in AI. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.