TY - BOOK AU - Muntean,Traian AU - Poulakis,Dimitrios AU - Rolland,Robert TI - Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings SN - 9783642406638 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Computer logic KW - Mathematical logic KW - Mathematics N1 - Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling UR - http://dx.doi.org/10.1007/978-3-642-40663-8 ER -