Blick ins Buch

Algebraic Informatics

Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Symeon Bozapalidis, George Rahonis (Herausgeber)

Buch | Softcover

VIII, 289 Seiten

2007 | 2007
Springer Berlin (Verlag)
978-3-540-75413-8 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Artikel merken

lt;p>This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.

Invited Papers.- On Generalizations of Weighted Finite Automata and Graphics Applications.- Sturmian and Episturmian Words.- From Tree-Based Generators to Delegation Networks.- Bifinite Chu Spaces.- Tiling Recognizable Two-Dimensional Languages.- Algebraic Methods in Quantum Informatics.- Recognizable vs. Regular Picture Languages.- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.- Contributed Papers.- Deterministic Two-Dimensional Languages over One-Letter Alphabet.- Recognizable Picture Languages and Polyominoes.- An Algebra for Tree-Based Music Generation.- Aperiodicity in Tree Automata.- The Syntactic Complexity of Eulerian Graphs.- Learning Deterministically Recognizable Tree Series - Revisited.- The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs.- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.- Nonassociativity à la Kleene.- Restarting Tree Automata and Linear Context-Free Tree Languages.

Erscheint lt. Verlag	14.12.2007
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	VIII, 289 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	463 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Algebra
Schlagworte	Algebra • Algebraic Specification • algebraic verification • Automata • Calculi • Computeralgebra • context-free grammars • deterministic learning • formal methods • formal testing • Graph transformation • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • high order processes • linear languages • Modal Logic • modling • process calculi • Processing • regular languages • semantic programming • Semantics • sensor networks • spatial logic • Term Rewriting • transformation of models • Tree Languages
ISBN-10	3-540-75413-X / 354075413X
ISBN-13	978-3-540-75413-8 / 9783540754138
Zustand	Neuware