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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kuich, Werner (Επιμελητής έκδοσης), Rahonis, George (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
• Σειρά: Lecture Notes in Computer Science, 7020
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Symbolic and Algebraic Manipulation.; Software Engineering.

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

Πίνακας περιεχομένων:

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