Algebraic Informatics

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

  • Editors
  • Symeon Bozapalidis
  • George Rahonis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4728)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Jean Berstel
      Pages 23-47
    2. Manfred Droste, Guo-Qiang Zhang
      Pages 73-74
    3. Dora Giammarresi
      Pages 75-86
    4. Jozef Gruska
      Pages 87-111
    5. Oliver Matz
      Pages 112-121
  3. Contributed Papers

    1. Marcella Anselmo, Maria Madonia
      Pages 147-159
    2. Giusi Castiglione, Roberto Vaglica
      Pages 160-171
    3. Frank Drewes, Johanna Högberg
      Pages 172-188
    4. Zoltan Ésik, Szabolcs Iván
      Pages 189-207
    5. Antonios Kalampakas
      Pages 208-217
    6. Sotiris Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis
      Pages 236-246
    7. Jean-Marcel Pallo
      Pages 260-274
    8. 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

  • DOI https://doi.org/10.1007/978-3-540-75414-5
  • 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