TY - BOOK AU - Winkler,Franz ED - International Conference on Algebraic Informatics TI - Algebraic informatics: 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings T2 - Lecture notes in computer science, SN - 9783642214936 AV - QA155.7.E4 U1 - 512.00285 23 PY - 2011/// CY - Heidelberg PB - Springer KW - Algebra KW - Data processing KW - Congresses KW - Computer science KW - Graph theory KW - Electronic Data Processing KW - Algèbre KW - Informatique KW - Congrès KW - eclas KW - fast KW - Congress KW - proceedings (reports) KW - aat KW - Conference papers and proceedings KW - lcgft KW - Actes de congrès KW - rvmgf N1 - Includes bibliographical references and index 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 - https://link.springer.com/10.1007/978-3-642-21493-6 ER -