Title: Algebraic Informatics
Subjects: Logic design, Computational complexity, Computer science, Software engineering, Algebra, Data processing, Informatique, Graph theory, Congresses, Algebra, data processing, Computer science, mathematics, Mathematics of Computing, Discrete Mathematics in Computer Science, Symbolic and Algebraic Manipulation, Mathematical Logic and Formal Languages, Logics and Meanings of Programs