Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter. <br/><br/>
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030887018 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming. Computer science-Mathematics. Computer science. Mathematical logic. Logic in AI. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.