Title: Relational and Algebraic Methods in Computer Science
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), Congresses, Mathematics, Computer science, mathematics