|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000078745 |
| 005 |
20171205093000.0 |
| 008 |
110914s2011 nyu eng |
| 020 |
|
|
|a 3642248969 (soft cover : alk. paper)
|
| 020 |
|
|
|a 3642248977 (ebook)
|
| 020 |
|
|
|a 9783642248962 (soft cover : alk. paper)
|
| 020 |
|
|
|a 9783642248979 (ebook)
|
| 050 |
0 |
0 |
|a QA76.9.M35
|b A44 2011
|
| 090 |
0 |
0 |
|a QA76.9.M35
|b A44 2011
|
| 245 |
0 |
0 |
|a Algebraic foundations in computer science :
|b essays dedicated to symeon bozapalidis on the occasion of his retirement
|c edited by Werner Kuich, George Rahonis
|
| 260 |
|
|
|a Heidelberg, Germany ;
|a New York :
|b Springer ,
|c c2011
|
| 300 |
|
|
|a x, 362 p. :
|b ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Lecture notes in computer science
|v 7020
|
| 500 |
|
|
|a Includes index
|
| 505 |
0 |
|
|a 1. Selected decision problems for square-refinement collage grammars -- 2. Weighted tree automata over valuation monoids and their characterization by weighted logics -- 3. Partial conway and iteration semiring-semimodule pairs -- 4. Kleene theorem in partial conway theories with applications -- 5. Rational transformations and a kleene theorem for power series over rational monoids -- 6. Equational weighted tree transformations with discounting -- 7. Quantum automata theory - a review -- 8. Graph automata: the algebraic properties of abelian relational graphoids -- 9. A survey on picture-walking automata -- 10. Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups -- 11. Algebraic systems and pushdown automata -- 12. Where automatic structures benefit from weighted automata -- 13. Survey: weighted extended top-down tree transducers part III - composition -- 14. Valuations of weighted automata: doing it in a rational way -- 15. Selected combinatorial properties of random intersection graphs
|
| 520 |
|
|
|a 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
|
| 650 |
|
0 |
|a Computer science
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|
| 650 |
|
0 |
|a Logic design
|
| 650 |
|
0 |
|a Software engineering
|
| 700 |
1 |
|
|a Kuich, Werner ,
|d 1941- ,
|e author
|
| 700 |
1 |
|
|a Rahonis, George ,
|e author
|
| 999 |
|
|
|a 1000152703
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|