Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / [electronic resource] : edited by Franz Winkler. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - Lecture Notes in Computer Science, 6742 0302-9743 ; .

9783642214936


Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra--Data processing.