Skip to main content
SpringerLink
Log in
Book cover

Algebraic Informatics

3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Symeon Bozapalidis

    1. Aristotle University of Thessaloniki, Thessaloniki, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. George Rahonis

    1. Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5725)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CAI 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper of Werner Kuich

    1. Cycle-Free Finite Automata in Partial Iterative Semirings

      • Stephen L. Bloom, Zoltan Ésik, Werner Kuich
      Pages 1-12

  3. Tutorials

    1. Picture Languages: From Wang Tiles to 2D Grammars

      • Alessandra Cherubini, Matteo Pradella
      Pages 13-46

    2. Process Algebra: An Algebraic Theory of Concurrency

      • Wan Fokkink
      Pages 47-77

  4. Invited Papers

    1. On Several Proofs of the Recognizability Theorem

      • Bruno Courcelle
      Pages 78-80

    2. Theories of Automatic Structures and Their Complexity

      • Dietrich Kuske
      Pages 81-98

    3. The Graph Programming Language GP

      • Detlef Plump
      Pages 99-122

    4. Canonical Reduction Systems in Symbolic Mathematics

      • Franz Winkler
      Pages 123-135

  5. Contributed Papers

    1. Solving Norm Form Equations over Number Fields

      • Paraskevas Alvanos, Dimitrios Poulakis
      Pages 136-146

    2. A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages

      • Marcella Anselmo, Maria Madonia
      Pages 147-159

    3. Context-Free Categorical Grammars

      • Michel Bauderon, Rui Chen, Olivier Ly
      Pages 160-171

    4. An Eilenberg Theorem for Pictures

      • Symeon Bozapalidis, Archontia Grammatikopoulou
      Pages 172-188

    5. On the Complexity of the Syntax of Tree Languages

      • Symeon Bozapalidis, Antonios Kalampakas
      Pages 189-203

    6. On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes

      • Bo Cui, Lila Kari, Shinnosuke Seki
      Pages 204-219

    7. Computation of Pell Numbers of the Form pX 2

      • Konstantinos A. Draziotis
      Pages 220-226

    8. Iteration Grove Theories with Applications

      • Z. Ésik, T. Hajgató
      Pages 227-249

    9. Combinatorics of Finite Words and Suffix Automata

      • Gabriele Fici
      Pages 250-259

    10. Polynomial Operators on Classes of Regular Languages

      • OndÅ™ej Klíma, Libor Polák
      Pages 260-277

    11. Self-dual Codes over Small Prime Fields from Combinatorial Designs

      • Christos Koukouvinos, Dimitris E. Simos
      Pages 278-287

    12. A Backward and a Forward Simulation for Weighted Tree Automata

      • Andreas Maletti
      Pages 288-304
Back to top

Other volumes

  1. Algebraic Informatics

Keywords

Editors and Affiliations

  • Aristotle University of Thessaloniki, Thessaloniki, Greece

    Symeon Bozapalidis

  • Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, Greece

    George Rahonis

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation