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
3642035639, 9783642035630
DOI
10.1007/978-3-642-03564-7
LCC
QA155.7.E4 C34 2009
Open Library ID
OL25022813M
Language
english
Format
PDF
Filesize
4 MB (4001750 bytes)
Series
Lecture Notes in Computer Science 5725 : Theoretical Computer Science and General Issues
Edition
1
Pages
361\369
Topic
Computers
Time added
2011-06-04 13:46:07
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