Relational and Algebraic Methods in Computer Science
16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
- (view affiliations)
- 6k Downloads
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.