Cover Image
Read Now

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

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

Full description

Bibliographic Details
Other Authors: Kuich, Werner (Editor), Rahonis, George (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2011, 2011
Edition:1st ed. 2011
Series:Theoretical Computer Science and General Issues
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Symbolic And Algebraic Manipulation
Software Engineering
Computer Science
Computer Science / Mathematics
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of 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 toVarieties 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

Similar Items