Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion

Algebraic Foundations in Computer Science

Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Kuich, Werner, Rahonis, George (Eds.)

2011, X, 363 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$69.99

(net) price for USA

ISBN 978-3-642-24897-9

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$89.99

(net) price for USA

ISBN 978-3-642-24896-2

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • commemorative publication
  • focusing on the research interests of Symeon Bozopalidis
  • contains thoroughly refereed invited papers most of which were presented at the Workshop on Algebraic Foundations in Computer Science

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 -- 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, which focuses on the research interests of Symeon, contains 15 thoroughly refereed invited papers, written by his colleagues, friends, and students. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.

Content Level » Research

Keywords » 2-dimensional automata - equational semantics - picture languages - top-down tree transducer - unification

Related subjects » Artificial Intelligence - Software Engineering - Theoretical Computer Science

Table of contents 

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.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Logics and Meanings of Programs.