Algebraic Informatics  3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 /  [electronic resource] : 
edited by Symeon Bozapalidis, George Rahonis. 
 - 1st ed. 2009. 
 - X, 361 p.  online resource. 
 - Theoretical Computer Science and General Issues,  5725  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  5725 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642035647 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-03564-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Machine theory.<br/>Computer science--Mathematics.<br/>Software engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Programming Techniques.<br/>Theory of Computation.<br/>Formal Languages and Automata Theory.<br/>Symbolic and Algebraic Manipulation.<br/>Software Engineering.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151