Algebraic foundations in computer science : essays dedicated to symeon bozapalidis on the occasion of his retirement
This collection of 15 papers honors the career of Symeon Bozapalidis. The focus is on his teaching subjects: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Heidelberg, Germany ; New York :
Springer ,
c2011
|
| Series: | Lecture notes in computer science
7020 |
| Subjects: |
Table of Contents:
- 1. Selected decision problems for square-refinement collage grammars
- 2. Weighted tree automata over valuation monoids and their characterization by weighted logics
- 3. Partial conway and iteration semiring-semimodule pairs
- 4. Kleene theorem in partial conway theories with applications
- 5. Rational transformations and a kleene theorem for power series over rational monoids
- 6. Equational weighted tree transformations with discounting
- 7. Quantum automata theory - a review
- 8. Graph automata: the algebraic properties of abelian relational graphoids
- 9. A survey on picture-walking automata
- 10. Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
- 11. Algebraic systems and pushdown automata
- 12. Where automatic structures benefit from weighted automata
- 13. Survey: weighted extended top-down tree transducers part III - composition
- 14. Valuations of weighted automata: doing it in a rational way
- 15. Selected combinatorial properties of random intersection graphs