Relational and algebraic methods in computer science: 12th international conference, RAMICS 2011, Rotte… by Swart, Harrie de, International Conference on Relational and Algebraic Methods in Computer Science, RAMICS, Rotterdam, The Netherlands) fromLecture Notes in Computer Science 0 Type: Book