Algebraic Informatics

Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Buch | Softcover
VIII, 289 Seiten
2007 | 2007
Springer Berlin (Verlag)
978-3-540-75413-8 (ISBN)

Lese- und Medienproben

Algebraic Informatics -
53,49 inkl. MwSt
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
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
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Deterministische und randomisierte Algorithmen

von Volker Turau; Christoph Weyer

Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
64,95
Grundlagen, Prozesse, Methoden und Werkzeuge

von Jörg Schäuffele; Thomas Zurawka

Buch | Hardcover (2024)
Springer Vieweg (Verlag)
99,99