Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, ... Notes in Computer Science, Band 7560)
Dieses Buch aus der RAMiCS‑Konferenz präsentiert fortgeschrittene Konzepte relationaler Logik und algebraischer Strukturen, analysiert ihre Anwendu ...