Algebraic Informatics: 3rd International Conference on Algebraic Informatics, C.A.I. 2009, Thessaloniki, Greece, May 19-22, 2009 Proceedings: 3rd ... Notes in Computer Science, 5725, Band 5725) - Softcover

Softcover

ISBN 10: 3642035639 ISBN 13: 9783642035630

Verlag: Springer, 2009

Inhaltsangabe

Invited Paper of Werner Kuich.- Cycle-Free Finite Automata in Partial Iterative Semirings.- Tutorials.- Picture Languages: From Wang Tiles to 2D Grammars.- Process Algebra: An Algebraic Theory of Concurrency.- Invited Papers.- On Several Proofs of the Recognizability Theorem.- Theories of Automatic Structures and Their Complexity.- The Graph Programming Language GP.- Canonical Reduction Systems in Symbolic Mathematics.- Contributed Papers.- Solving Norm Form Equations over Number Fields.- A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages.- Context-Free Categorical Grammars.- An Eilenberg Theorem for Pictures.- On the Complexity of the Syntax of Tree Languages.- On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes.- Computation of Pell Numbers of the Form pX 2.- Iteration Grove Theories with Applications.- Combinatorics of Finite Words and Suffix Automata.- Polynomial Operators on Classes of Regular Languages.- Self-dual Codes over Small Prime Fields from Combinatorial Designs.- A Backward and a Forward Simulation for Weighted Tree Automata.- Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited.- Polynomial Interpolation of the k-th Root of the Discrete Logarithm.- Single-Path Restarting Tree Automata.- Parallel Communicating Grammar Systems with Regular Control.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2009
• Sprache: Englisch
• ISBN 10: 3642035639
• ISBN 13: 9783642035630
• Einband: Taschenbuch
• Anzahl der Seiten: 372
• Herausgeber: Bozapalidis Symeon
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Deutschland