Algebraic Informatics

Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

  • Editors
  • Symeon Bozapalidis
  • George Rahonis
Conference proceedings

DOI: 10.1007/978-3-540-75414-5

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

Table of contents (18 papers)

  1. Front Matter
  2. Invited Papers

    1. Sturmian and Episturmian Words
      Jean Berstel
      Pages 23-47
    2. Bifinite Chu Spaces
      Manfred Droste, Guo-Qiang Zhang
      Pages 73-74
    3. Tiling Recognizable Two-Dimensional Languages
      Dora Giammarresi
      Pages 75-86
    4. Algebraic Methods in Quantum Informatics
      Jozef Gruska
      Pages 87-111
    5. Recognizable vs. Regular Picture Languages
      Oliver Matz
      Pages 112-121
  3. Contributed Papers

    1. Deterministic Two-Dimensional Languages over One-Letter Alphabet
      Marcella Anselmo, Maria Madonia
      Pages 147-159
    2. Recognizable Picture Languages and Polyominoes
      Giusi Castiglione, Roberto Vaglica
      Pages 160-171
    3. An Algebra for Tree-Based Music Generation
      Frank Drewes, Johanna Högberg
      Pages 172-188
    4. Aperiodicity in Tree Automata
      Zoltan Ésik, Szabolcs Iván
      Pages 189-207
    5. The Syntactic Complexity of Eulerian Graphs
      Antonios Kalampakas
      Pages 208-217
    6. The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs
      Sotiris Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis
      Pages 236-246
    7. Nonassociativity à la Kleene
      Jean-Marcel Pallo
      Pages 260-274
    8. Restarting Tree Automata and Linear Context-Free Tree Languages
      Heiko Stamer, Friedrich Otto
      Pages 275-289
  4. Back Matter

About these proceedings

Keywords

Processing algebra algebraic specification algebraic verification automata calculi context-free grammars deterministic learning formal methods formal testing linear languages modal logic modling process calculi semantics

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75413-8
  • Online ISBN 978-3-540-75414-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349