Algebraic Foundations in Computer Science

Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

  • Werner Kuich
  • George Rahonis

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

Table of contents

  1. Front Matter
  2. Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke
    Pages 30-55
  3. Zoltán Ésik, Tamás Hajgató
    Pages 72-93
  4. Zoltán Fülöp, George Rahonis
    Pages 112-145
  5. Mika Hirvensalo
    Pages 146-167
  6. Jarkko Kari, Ville Salo
    Pages 183-213
  7. Werner Kuich
    Pages 228-256
  8. Aurélie Lagoutte, Andreas Maletti
    Pages 272-308
  9. Sotiris Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis
    Pages 347-362
  10. Back Matter

About this book


This Festschrift volume is published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching. The topics covered are: weighted automata over words and trees, tree transducers, quantum automata, graphs, pictures and varieties of semigroups.

Since 1982 -- at the Aristotle University of Thessaloniki -- Symeon's main interests have been closely connected with the algebraic foundations in computer science. In particular, he contributed to the development of the theory of tree languages and series, the axiomatization of graphs, picture theory, and fuzzy languages.

The volume, which focuses on the research interests of Symeon, contains 15 thoroughly refereed invited papers, written by his colleagues, friends, and students. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.


2-dimensional automata equational semantics picture languages top-down tree transducer unification

Editors and affiliations

  • Werner Kuich
    • 1
  • George Rahonis
    • 2
  1. 1.Institut für Diskrete Mathematik und GeometrieTechnische Universität WienAustria
  2. 2.Department of MathematicsAristotle University of ThessalonikiThessalonikiGreece

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-24896-2
  • Online ISBN 978-3-642-24897-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software