Coverart for item
The Resource Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis

Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis

Label
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
Title
Algebraic foundations in computer science
Title remainder
essays dedicated to Symeon Bozapalidis on the occasion of his retirement
Statement of responsibility
edited by Werner Kuich, George Rahonis
Contributor
Subject
Language
eng
Summary
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
Member of
Is part of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
  • illustrations
  • portraits
Index
index present
LC call number
QA76.9.M35
LC item number
A44 2011
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1941-
  • 1965-
http://library.link/vocab/relatedWorkOrContributorName
  • Kuich, Werner
  • Rachōnēs, Geōrgios
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7020
http://library.link/vocab/subjectName
  • Computer science
  • Informatique
  • Computer science
Label
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Selected Decision Problems for Square-Refinement Collage Grammars -- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory -- A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III -- Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs. Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory -- A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III -- Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs
Control code
761201134
Dimensions
unknown
Extent
1 online resource (x, 362 pages)
File format
unknown
Form of item
online
Isbn
9783642248979
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-24897-9
Other physical details
illustrations, color portraits.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)761201134
Label
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Selected Decision Problems for Square-Refinement Collage Grammars -- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory -- A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III -- Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs. Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory -- A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III -- Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs
Control code
761201134
Dimensions
unknown
Extent
1 online resource (x, 362 pages)
File format
unknown
Form of item
online
Isbn
9783642248979
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-24897-9
Other physical details
illustrations, color portraits.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)761201134

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...