Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers /
Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers /
CAI 2007
Symeon Bozapalidis, George Rahonis (eds.).
- Berlin ; New York : Springer, ©2007.
- 1 online resource (viii, 289 pages) : illustrations
- Lecture notes in computer science, 4728 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues .
- Lecture notes in computer science ; 4728. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .
"2nd International Conference on Algebraic Informatics"--Preface
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.
Annotation 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.
9783540754145 3540754148 9783540754138 354075413X
10.1007/978-3-540-75414-5 doi
12168668
978-3-540-75413-8 Springer http://www.springerlink.com
07,N38,0012 dnb
014486328 Uk
Algebra--Data processing--Congresses.
Computer science--Congresses.
Graph theory--Congresses.
Algèbre--Informatique--Congrès.
Informatique--Congrès.
Informatique.
Algebra--Data processing.
Computer science.
Graph theory.
wiskunde mathematics computerwetenschappen computer sciences logica logic software engineering algebra Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
QA155.7.E4 / I55 2007eb
512
"2nd International Conference on Algebraic Informatics"--Preface
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.
Annotation 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.
9783540754145 3540754148 9783540754138 354075413X
10.1007/978-3-540-75414-5 doi
12168668
978-3-540-75413-8 Springer http://www.springerlink.com
07,N38,0012 dnb
014486328 Uk
Algebra--Data processing--Congresses.
Computer science--Congresses.
Graph theory--Congresses.
Algèbre--Informatique--Congrès.
Informatique--Congrès.
Informatique.
Algebra--Data processing.
Computer science.
Graph theory.
wiskunde mathematics computerwetenschappen computer sciences logica logic software engineering algebra Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
QA155.7.E4 / I55 2007eb
512