Algebraic informatics third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings - CAI 2009 (2009 : Thessalonike, Greece); Bozapalidis, Symeon; Rahonis, George; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Algebra -- Data processing -- Congresses; Formal methods (Computer science) -- Congresse; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Symbolic and Algebraic Manipulation; Discrete Mathematics in Computer Science; Computer Science; Software Engineering