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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kuich, Werner (Editor ), Rahonis, George (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Theoretical Computer Science and General Issues, 7020
Temas:
Computer science.
Machine theory.
Artificial intelligence.
Compilers (Computer programs).
Computer science-Mathematics.
Software engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
Compilers and Interpreters.
Symbolic and Algebraic Manipulation.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares