The Resource Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
Resource Information
The item Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 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 78, 2011
 Language
 eng
 Extent
 1 online resource (x, 362 pages)
 Contents

 Selected Decision Problems for SquareRefinement Collage Grammars
 Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
 Partial Conway and Iteration SemiringSemimodule 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 PictureWalking 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 TopDown 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 SemiringSemimodule 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 PictureWalking 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 TopDown Tree Transducers Part III
 Composition
 Valuations of Weighted Automata: Doing It in a Rational Way
 Selected Combinatorial Properties of Random Intersection Graphs
 Isbn
 9783642248979
 Label
 Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
 Title
 Algebraic foundations in computer science
 Title remainder
 essays dedicated to Symeon Bozapalidis on the occasion of his retirement
 Statement of responsibility
 edited by Werner Kuich, George Rahonis
 Subject

 Computer science
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics
 Informatique
 Logic design
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Programming Languages, Compilers, Interpreters
 Software engineering
 Symbolic and Algebraic Manipulation
 Language
 eng
 Summary
 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 78, 2011
 Cataloging source
 GW5XE
 Dewey number
 004.01/51
 Illustrations

 illustrations
 portraits
 Index
 index present
 LC call number
 QA76.9.M35
 LC item number
 A44 2011
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate

 1941
 1965
 http://library.link/vocab/relatedWorkOrContributorName

 Kuich, Werner
 Rachōnēs, Geōrgios
 Series statement

 Lecture notes in computer science,
 LNCS sublibrary. SL 1, Theoretical computer science and general issues
 Series volume
 7020
 http://library.link/vocab/subjectName

 Computer science
 Informatique
 Computer science
 Label
 Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and author index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Selected Decision Problems for SquareRefinement Collage Grammars  Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics  Partial Conway and Iteration SemiringSemimodule 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 PictureWalking 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 TopDown 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 SemiringSemimodule 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 PictureWalking 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 TopDown Tree Transducers Part III  Composition  Valuations of Weighted Automata: Doing It in a Rational Way  Selected Combinatorial Properties of Random Intersection Graphs
 Control code
 761201134
 Dimensions
 unknown
 Extent
 1 online resource (x, 362 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642248979
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642248979
 Other physical details
 illustrations, color portraits.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)761201134
 Label
 Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and author index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Selected Decision Problems for SquareRefinement Collage Grammars  Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics  Partial Conway and Iteration SemiringSemimodule 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 PictureWalking 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 TopDown 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 SemiringSemimodule 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 PictureWalking 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 TopDown Tree Transducers Part III  Composition  Valuations of Weighted Automata: Doing It in a Rational Way  Selected Combinatorial Properties of Random Intersection Graphs
 Control code
 761201134
 Dimensions
 unknown
 Extent
 1 online resource (x, 362 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642248979
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642248979
 Other physical details
 illustrations, color portraits.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)761201134
Subject
 Computer science
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics
 Informatique
 Logic design
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Programming Languages, Compilers, Interpreters
 Software engineering
 Symbolic and Algebraic Manipulation
Member of
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
 Lecture notes in computer science, 7020
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Algebraicfoundationsincomputerscience/5pCRGtA_7Nw/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Algebraicfoundationsincomputerscience/5pCRGtA_7Nw/">Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Algebraicfoundationsincomputerscience/5pCRGtA_7Nw/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Algebraicfoundationsincomputerscience/5pCRGtA_7Nw/">Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>