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.