Skip to main content
SpringerLink
Log in

Algebraic Foundations in Computer Science

Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

  • Book
  • © 2011

Overview

Editors:
  1. Werner Kuich

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

    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

  • 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)

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 (15 chapters)

  1. Front Matter

    Download chapter PDF

  2. Selected Decision Problems for Square-Refinement Collage Grammars

    • Frank Drewes
    Pages 1-29

  3. 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

  4. Partial Conway and Iteration Semiring-Semimodule Pairs

    • Zoltán Ésik
    Pages 56-71

  5. Kleene Theorem in Partial Conway Theories with Applications

    • Zoltán Ésik, Tamás Hajgató
    Pages 72-93

  6. Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids

    • Ina Fichtner, Christian Mathissen
    Pages 94-111

  7. Equational Weighted Tree Transformations with Discounting

    • Zoltán Fülöp, George Rahonis
    Pages 112-145

  8. Quantum Automata Theory – A Review

    • Mika Hirvensalo
    Pages 146-167

  9. Graph Automata: The Algebraic Properties of Abelian Relational Graphoids

    • Antonios Kalampakas
    Pages 168-182

  10. A Survey on Picture-Walking Automata

    • Jarkko Kari, Ville Salo
    Pages 183-213

  11. Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

    • Ondřej Klíma, Libor Polák
    Pages 214-227

  12. Algebraic Systems and Pushdown Automata

    • Werner Kuich
    Pages 228-256

  13. Where Automatic Structures Benefit from Weighted Automata

    • Dietrich Kuske
    Pages 257-271

  14. Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition

    • Aurélie Lagoutte, Andreas Maletti
    Pages 272-308

  15. Valuations of Weighted Automata: Doing It in a Rational Way

    • Ingmar Meinecke
    Pages 309-346

  16. Selected Combinatorial Properties of Random Intersection Graphs

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

  17. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation