Algebraic informatics

InhaltsverzeichnisInvited 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.