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)

Computer Science.

Programming Techniques.

Symbolic and Algebraic Manipulation.

Computer science

Mathematical Logic and Formal Languages.

Abstract data types (Computer science)

Logics and Meanings of Programs.

Algebraic logic

Software engineering