Algebraic Informatics Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / [electronic resource] :
edited by Symeon Bozapalidis, George Rahonis.
- 1st ed. 2007.
- VIII, 289 p. online resource.
- Theoretical Computer Science and General Issues, 4728 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4728 .
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.
9783540754145
10.1007/978-3-540-75414-5 doi
Computer science.
Algebra.
Machine theory.
Software engineering.
Computer science--Mathematics.
Theory of Computation.
Algebra.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA75.5-76.95
004.0151
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.
9783540754145
10.1007/978-3-540-75414-5 doi
Computer science.
Algebra.
Machine theory.
Software engineering.
Computer science--Mathematics.
Theory of Computation.
Algebra.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA75.5-76.95
004.0151