Relational and Algebraic Methods in Computer Science
Subtitle: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
By: edited by Wolfram Kahl, Timothy G. Griffin
Contributors: Griffin, Timothy G.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7560
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642333149
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Software engineering; Algebra; Symbolic and Algebraic Manipulation; Logic design; Logics and Meanings of Programs; Computer science; Data processing; Artificial intelligence; Artificial Intelligence (incl. Robotics)