TY  - BOOK
AU  - Muntean,Traian
AU  - Poulakis,Dimitrios
AU  - Rolland,Robert
ED  - SpringerLink (Online service)
TI  - Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642406638
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
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
N1  - Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling
N2  - This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as 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  -