Algebraic logic - Congresses.

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (Language materials, printed)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (Language materials, printed)

Software Engineering.

Artificial Intelligence (incl. Robotics)

Symbolic and Algebraic Manipulation.

Abstract data types (Computer science)

Algebraic logic

Software engineering

Computer Science.

Programming Techniques.

Computer science

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.