TY - BOOK AU - Winkler,Franz ED - CAI 2011. TI - Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings SN - 9783642214936 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Computational complexity KW - Algebra KW - Data processing UR - http://dx.doi.org/10.1007/978-3-642-21493-6 ER -