Algebraic Foundations in Computer Science
Description
More details
Other editions
Additional editions
Content
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.