Algebraic informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings.