Willkommen, schön sind Sie da!
Logo Ex Libris

Algebraic Foundations in Computer Science

  • E-Book (pdf)
  • 363 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of t... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 71.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Algebraic Foundations in Computer Science
Untertitel: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Editor:
EAN: 9783642248979
ISBN: 978-3-642-24897-9
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Herausgeber: Springer-Verlag GmbH
Genre: IT & Internet
Anzahl Seiten: 363
Veröffentlichung: 06.11.2011
Jahr: 2015
Untertitel: Englisch
Dateigrösse: 4.7 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"