Scientific Annals of Computer Science

Scientific Annals of Computer Science is an international journal devoted to papers in computer science with results which are formally stated and proved. It is mainly a forum for the dissemination of formal solutions of problems appearing in all areas of computer science. We only consider original work which has not been previously published in other journals, nor submitted simultaneously for publication elsewhere. Extended versions of papers which have previously appeared in conference proceedings are also considered; the authors should indicate this at the time of submission. Promoting quality over quantity, Scientific Annals of Computer Science does not consider papers outside the scope of the journal. Starting with volume 17, SACS becomes an open access journal without subscription. All articles are freely available online, offering an increased visibility and usage of their results.