Skip to main content
  • Book
  • © 2011

Algebraic Foundations in Computer Science

Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

  • commemorative publication

  • focusing on the research interests of Symeon Bozopalidis

  • contains thoroughly refereed invited papers most of which were presented at the Workshop on Algebraic Foundations in Computer Science

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

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 chapters)

  1. Front Matter

  2. Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics

    • Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke
    Pages 30-55
  3. Kleene Theorem in Partial Conway Theories with Applications

    • Zoltán Ésik, Tamás Hajgató
    Pages 72-93
  4. Equational Weighted Tree Transformations with Discounting

    • Zoltán Fülöp, George Rahonis
    Pages 112-145
  5. Quantum Automata Theory – A Review

    • Mika Hirvensalo
    Pages 146-167
  6. A Survey on Picture-Walking Automata

    • Jarkko Kari, Ville Salo
    Pages 183-213
  7. Algebraic Systems and Pushdown Automata

    • Werner Kuich
    Pages 228-256
  8. Selected Combinatorial Properties of Random Intersection Graphs

    • Sotiris Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis
    Pages 347-362
  9. Back Matter

About this book

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages. 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 contains 15 invited papers, written by colleagues, friends, and students of Symeon. All of the papers were carefully refereed and are connected to his research topics. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.

Keywords

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

Editors and Affiliations

  • Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien, Austria

    Werner Kuich

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

    George Rahonis

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions