03687nam 22007335 450 99646543680331620230405225757.03-540-75414-810.1007/978-3-540-75414-5(CKB)1000000000490293(SSID)ssj0000316138(PQKBManifestationID)11261603(PQKBTitleCode)TC0000316138(PQKBWorkID)10263181(PQKB)11085439(DE-He213)978-3-540-75414-5(MiAaPQ)EBC3068122(PPN)123731607(EXLCZ)99100000000049029320100301d2007 u| 0engurnn|008mamaatxtccrAlgebraic Informatics[electronic resource] Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers /edited by Symeon Bozapalidis, George Rahonis1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (VIII, 289 p.) Theoretical Computer Science and General Issues,2512-2029 ;4728Bibliographic Level Mode of Issuance: Monograph3-540-75413-X Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;4728Computer scienceAlgebraMachine theorySoftware engineeringComputer science—MathematicsTheory of ComputationAlgebraComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySoftware EngineeringSymbolic and Algebraic ManipulationComputer 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.004.0151Bozapalidis Symeonedthttp://id.loc.gov/vocabulary/relators/edtRahonis Georgeedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465436803316Algebraic Informatics2954948UNISA