ENGLISH

Algebraic Informatics: Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

By Symeon Bozapalidis , Zoltán Ésik , George Rahonis (eds.) , Stephen L. Bloom , Werner Kuich (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2009
ISBN
9783642035647, 3642035647
DOI
10.1007/978-3-642-03564-7
Language
english
Format
PDF
Filesize
4 MB (4050899 bytes)
Series
Lecture Notes in Computer Science 5725 : Theoretical Computer Science and General Issues
Edition
1
Pages
361\370
Time added
2013-04-24 17:00:00
Logics and Meanings of Programs; Mathematical Logi

Description

This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece, in May 2009. The 16 full papers were carefully reviewed and selected from 25 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, algebraic aspects of cryptography.

Similar books