LEADER 05904nam 22008415 450 001 996465957003316 005 20230222231758.0 010 $a3-642-24897-7 024 7 $a10.1007/978-3-642-24897-9 035 $a(CKB)3400000000024052 035 $a(SSID)ssj0000609129 035 $a(PQKBManifestationID)11382350 035 $a(PQKBTitleCode)TC0000609129 035 $a(PQKBWorkID)10609033 035 $a(PQKB)11558960 035 $a(DE-He213)978-3-642-24897-9 035 $a(MiAaPQ)EBC6295872 035 $a(MiAaPQ)EBC5586191 035 $a(Au-PeEL)EBL5586191 035 $a(OCoLC)761201134 035 $a(PPN)157510506 035 $a(EXLCZ)993400000000024052 100 $a20111105d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Foundations in Computer Science$b[electronic resource] $eEssays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /$fedited by Werner Kuich, George Rahonis 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (X, 363 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7020 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-24896-9 320 $aIncludes bibliographic references and author index. 327 $aSelected 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7020 606 $aComputer science 606 $aMachine theory 606 $aArtificial intelligence 606 $aCompilers (Computer programs) 606 $aComputer science?Mathematics 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aCompilers and Interpreters 606 $aSymbolic and Algebraic Manipulation 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aCompilers (Computer programs). 615 0$aComputer science?Mathematics. 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aCompilers and Interpreters. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aSoftware Engineering. 676 $a004.01512 702 $aKuich$b Werner$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRahonis$b George$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465957003316 996 $aAlgebraic Foundations in Computer Science$92830414 997 $aUNISA