TY  - BOOK
AU  - Winkler,Franz
ED  - SpringerLink (Online service)
TI  - Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642214936
AV  - QA76.9.L63 
U1  - 005.1015113 23
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
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Symbolic and Algebraic Manipulation
KW  - Software Engineering
KW  - Discrete Mathematics in Computer Science
KW  - Mathematics of Computing
N2  - This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011. The 12 revised full papers presented together with 4 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, and algebraic aspects of cryptography
UR  - http://dx.doi.org/10.1007/978-3-642-21493-6
ER  -