Muutke küpsiste eelistusi

Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement 2011 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 363 pages, kõrgus x laius: 235x155 mm, kaal: 575 g, X, 363 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7020
  • Ilmumisaeg: 13-Oct-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642248969
  • ISBN-13: 9783642248962
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 363 pages, kõrgus x laius: 235x155 mm, kaal: 575 g, X, 363 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7020
  • Ilmumisaeg: 13-Oct-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642248969
  • ISBN-13: 9783642248962
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.

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages. Since 1982 -- at the Aristotle University of Thessaloniki -- Symeon's main interests have been closely connected with the algebraic foundations in computer science. In particular, he contributed to the development of the theory of tree languages and series, the axiomatization of graphs, picture theory, and fuzzy languages.The volume contains 15 invited papers, written by colleagues, friends, and students of Symeon. All of the papers were carefully refereed and are connected to his research topics. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.
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.