Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17--20, 2012. Proceedings

From MaRDI portal
Publication:450615