Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Swart, Harrie de (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: Lecture Notes in Computer Science, 6663
• Subjects: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer simulation.; Computer Science.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Logics and Meanings of Programs.; Software Engineering.; Simulation and Modeling.; Artificial Intelligence (incl. Robotics).

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kl...