Relational and Algebraic Methods in Computer Science
Subtitle: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18 2017, Proceedings
Publisher: Springer International Publishing AG
Published: 2017
Language: eng
ISBN-13: 9783319574172
Subjects: Algebraic logic; Algebra; Computer science, mathematics