Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
|
| Series: | Lecture Notes in Computer Science,
5725 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.
