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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540754145 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-75414-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Algebra.<br/>Machine theory.<br/>Software engineering.<br/>Computer science--Mathematics.<br/>Theory of Computation.<br/>Algebra.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.<br/>Software Engineering.<br/>Symbolic and Algebraic Manipulation.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151