Handbook of Weighted Automata:
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Monographs in Theoretical Computer Science
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 UBG01 UBT01 UBY01 UPA01 Volltext Inhaltsverzeichnis |
| Beschreibung: | 1 Online-Ressource (XVII, 608 S.) |
| ISBN: | 9783642014925 |
| DOI: | 10.1007/978-3-642-01492-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035762508 | ||
| 003 | DE-604 | ||
| 005 | 20101130 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 091009s2009 gw |||| o||u| ||||||eng d | ||
| 020 | |a 9783642014925 |c Online |9 978-3-642-01492-5 | ||
| 035 | |a (OCoLC)1075443740 | ||
| 035 | |a (DE-599)DNB994783361 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-703 |a DE-706 |a DE-634 |a DE-739 | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Handbook of Weighted Automata |c Manfred Droste ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a 1 Online-Ressource (XVII, 608 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Monographs in Theoretical Computer Science | |
| 650 | 0 | 7 | |a Gewichteter Automat |0 (DE-588)7690901-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Gewichteter Automat |0 (DE-588)7690901-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Droste, Manfred |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-3-642-01491-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-01492-5 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018622354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018622354 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-01492-5 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-01492-5 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-01492-5 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-01492-5 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-01492-5 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-01492-5 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804140687028912128 |
|---|---|
| adam_text | CONTENTS PART I FOUNDATIONS CHAPTER 1: SEMIRINGS AND FORMAL POWER SERIES
MANFRED DROSTE AND WERNER KUICH 3 1 INTRODUCTION 3 2 MONOIDS AND
SEMIRINGS 5 3 FORMAL POWER SERIES 12 4 MATRICES 17 5 CYCLE-FREE LINEAR
EQUATIONS 22 REFERENCES 26 CHAPTER 2: FIXED POINT THEORY ZOLTAEN ESIK 29
1 INTRODUCTION 29 2 LEAST FIXED POINTS 30 3 CONWAY THEORIES 38 4
ITERATION THEORIES 41 5 UNIQUE FIXED POINTS 44 6 FIXED POINTS OF LINEAR
FUNCTIONS 46 6.1 INDUCTIVE *-SEMIRINGS 51 6.2 COMPLETE SEMIRINGS 52 6.3
ITERATIVE SEMIRINGS 53 7 FIXED POINTS OF AFFINE FUNCTIONS 54 7.1
COMPLETE SEMIRING-SEMIMODULE PAIRS 59 7.2 BI-INDUCTIVE
SEMIRING-SEMIMODULE PAIRS 61 REFERENCES 62 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/994783361 DIGITALISIERT DURCH XII CONTENTS PART II
CONCEPTS OF WEIGHTED RECOGNIZABILITY CHAPTER 3: FINITE AUTOMATA ZOLTDN
ESIK AND WERNER KUICH 69 1 INTRODUCTION 69 2 FINITE AUTOMATA OVER
SEMIRINGS 70 2.1 FINITE AUTOMATA OVER ARBITRARY POWER SERIES SEMIRINGS
72 2.2 FINITE AUTOMATA OVER CONWAY SEMIRINGS 75 2.3 FINITE LINEAR
SYSTEMS 81 3 FINITE AUTOMATA OVER QUEMIRINGS 83 3.1 SEMIRING-SEMIMODULE
PAIRS AND QUEMIRINGS 85 3.2 FINITE AUTOMATA OVER QUEMIRINGS AND A KLEENE
THEOREM 91 3.3 FINITE LINEAR SYSTEMS OVER QUEMIRINGS 99 REFERENCES 103
CHAPTER 4: RATIONAL AND RECOGNISABLE POWER SERIES JACQUES SAKAROVITCH
105 1 INTRODUCTION 106 2 RATIONAL SERIES AND WEIGHTED RATIONAL
EXPRESSIONS 107 2.1 SERIES OVER A GRADED MONOID 107 2.2 RATIONAL SERIES
114 3 WEIGHTED AUTOMATA 122 3.1 THE BEHAVIOUR OF A WEIGHTED AUTOMATON
122 3.2 THE FUNDAMENTAL THEOREM OF AUTOMATA 126 3.3 CONJUGACY AND
COVERING OF AUTOMATA 132 4 RECOGNISABLE SERIES AND REPRESENTATIONS 138
4.1 THE FAMILY OF RECOGNISABLE SERIES 138 4.2 OTHER PRODUCTS ON
RECOGNISABLE SERIES 141 4.3 SERIES ON A PRODUCT OF MONOIDS 145 5 SERIES
OVER A FREE MONOID 151 5.1 THE REPRESENTABILITY THEOREM 152 5.2 REDUCED
REPRESENTATIONS 157 5.3 APPLICATIONS OF THE REDUCTION OF REPRESENTATIONS
161 6 SUPPORT OF RATIONAL SERIES 165 7 CONTENTS XIII CHAPTER 5: WEIGHTED
AUTOMATA AND WEIGHTED LOGICS MANFRED DROSTE AND PAUL GASTIN 175 1
INTRODUCTION 175 2 MSO-LOGIC AND WEIGHTED AUTOMATA 178 3 WEIGHTED LOGICS
181 4 UNAMBIGUOUS FORMULAS 185 5 DEFINABILITY EQUALS RECOGNIZABILITY 189
6 LOCALLY FINITE SEMIRINGS 194 7 WEIGHTED AUTOMATA ON INFINITE WORDS 197
8 WEIGHTED LOGICS ON INFINITE WORDS 203 9 CONCLUSIONS AND OPEN PROBLEMS
206 REFERENCES 208 CHAPTER 6: WEIGHTED AUTOMATA ALGORITHMS MEHRYAR MOHRI
213 1 INTRODUCTION 214 2 PRELIMINARIES 214 2.1 SEMIRINGS 214 2.2
WEIGHTED TRANSDUCERS AND AUTOMATA 215 3 SHORTEST-DISTANCE ALGORITHMS 217
3.1 ALL-PAIRS SHORTEST-DISTANCE PROBLEMS 218 3.2 SINGLE-SOURCE
SHORTEST-DISTANCE PROBLEMS 222 4 RATIONAL OPERATIONS 223 5 ELEMENTARY
UNARY OPERATIONS 226 6 FUNDAMENTAL BINARY OPERATIONS 226 6.1 COMPOSITION
226 6.2 INTERSECTION 231 6.3 DIFFERENCE 231 7 OPTIMIZATION ALGORITHMS
233 7.1 EPSILON-REMOVAL 233 7.2 DETERMINIZATION 237 7.3 WEIGHT PUSHING
241 7.4 MINIMIZATION 243 7.5 SYNCHRONIZATION 246 8 CONCLUSION 250
REFERENCES 250 PART III WEIGHTED DISCRETE STRUCTURES CHAPTER 7:
ALGEBRAIC SYSTEMS AND PUSHDOWN AUTOMATA ION PETRE AND ARTO SALOMAA : XIV
CONTENTS 3.1 DEFINITION AND BASIC REDUCTIONS 261 3.2 INTERCONNECTIONS
WITH CONTEXT-FREE GRAMMARS 265 3.3 NORMAL FORMS 267 3.4 THEOREMS OF
SHAMIR AND CHOMSKY-SCHUETZENBERGER 271 4 TRANSDUCTIONS 275 5 PUSHDOWN
AUTOMATA 279 5.1 PUSHDOWN TRANSITION MATRICES 279 5.2 S^Z 1 * »-PUSHDOWN
AUTOMATA 281 5.3 EQUIVALENCE WITH ALGEBRAIC SYSTEMS 284 6 OTHER TOPICS
287 REFERENCES 288 CHAPTER 8: LINDENMAYER SYSTEMS JUHA HONKALA 291 1
INTRODUCTION 291 2 ITERATED MORPHISMS AND RATIONAL SERIES 292 3
LINDENMAYERIAN ALGEBRAIC SERIES 296 4 DOL POWER SERIES 302 5 OTHER POWER
SERIES GENERALIZATIONS OF L SYSTEMS 307 REFERENCES 309 CHAPTER 9:
WEIGHTED TREE AUTOMATA AND TREE TRANSDUCERS ZOLTDN FUELOEP AND HEIKO
VOGLER 313 1 INTRODUCTION 314 2 PRELIMINARIES 316 2.1 GENERAL NOTATION
316 2.2 TREES 316 2.3 ALGEBRAIC CONCEPTS 317 2.4 TREE SERIES 320 3
WEIGHTED TREE AUTOMATA 320 3.1 BOTTOM-UP TREE AUTOMATA 320 3.2
RECOGNIZABLE TREE SERIES 321 3.3 CLOSURE PROPERTIES 326 3.4 SUPPORT OF
RECOGNIZABLE TREE SERIES 328 3.5 DETERMINIZATION OF WEIGHTED TREE
AUTOMATA 330 3.6 PUMPING LEMMATA AND DECIDABILITY 331 3.7 FINITE
ALGEBRAIC CHARACTERIZATIONS OF RECOGNIZABLE TREE SERIES. 335 3.8
EQUATIONAL TREE SERIES 342 3. CONTENTS XV 5.2 THE BASIC MODEL 365 5.3
RESTRICTED MODELS 370 5.4 COMPOSITION AND DECOMPOSITION 374 5.5 THE
INCLUSION DIAGRAM OF SOME FUNDAMENTAL WTT CLASSES 386 5.6 HIERARCHIES
388 5.7 FURTHER MODELS OF WEIGHTED TREE TRANSDUCERS 391 5.8 FURTHER
RESULTS 394 REFERENCES 394 CHAPTER 10: TRACES, SERIES-PARALLEL POSETS,
AND PICTURES: A WEIGHTED STUDY INA FICHTNER, DIETRICH KUSKE, AND INGMAR
MEINECKE 405 1 INTRODUCTION 406 2 TRACES 407 2.1 WEIGHTED DISTRIBUTED
SYSTEMS 407 2.2 OTHER FORMALISMS: PRESENTATIONS, EXPRESSIONS, AND LOGICS
411 2.3 RELATING THE FORMALISMS 413 2.4 HISTORY AND OVERVIEW 421 3
SERIES-PARALLEL POSETS 423 3.1 SERIES-PARALLEL POSETS AND BISEMIRINGS
423 3.2 WEIGHTED BRANDUNG AUTOMATA 425 3.3 RATIONALITY 427 3.4 THE
HADAMARD PRODUCT 433 3.5 HISTORY AND OVERVIEW 435 4 PICTURES 436 4.1
PICTURES AND WEIGHTED PICTURE AUTOMATA 436 4.2 OTHER FORMALISMS:
EXPRESSIONS AND LOGICS 438 4.3 RELATING THE FORMALISMS 440 4.4
DECIDABILITY ISSUES 444 4.5 HISTORY AND OVERVIEW 445 REFERENCES 446 PART
IV APPLICATIONS CHAPTER 11: DIGITAL IMAGE COMPRESSION JUERGEN ALBERT AND
JARKKO KARI 453 1 INTRODUCTION 453 2 IMAGE TYPES 454 3 WEIGHTED FINITE
AUTOMATA AND MULTI-RESOLUTION IMAGES 457 4 DRAWING WFA IMAGES 459 5 XVI
CONTENTS 9 CONCLUSIONS AND OPEN PROBLEMS 476 REFERENCES 477 CHAPTER 12:
FUZZY LANGUAGES GEORGE RAHONIS 481 1 INTRODUCTION 481 2 LATTICES AND
FUZZY LANGUAGES 483 3 FUZZY RECOGNIZABILITY OVER BOUNDED DISTRIBUTIVE
LATTICES 486 3.1 FUZZY RECOGNIZABILITY OVER FINITE WORDS 487 3.2 FUZZY
RECOGNIZABILITY OVER INFINITE WORDS 495 3.3 MULTI-VALUED MSO LOGIC 500 4
FUZZY LANGUAGES: AN OVERVIEW 505 4.1 FUZZY LANGUAGES OVER -MONOIDS 506
4.2 FUZZY LANGUAGES OVER RESIDUATED LATTICES 507 4.3 FUZZY AUTOMATA WITH
OUTPUTS 509 4.4 FUZZY ABSTRACT FAMILIES OF LANGUAGES 509 4.5 FUZZY TREE
LANGUAGES 509 5 APPLICATIONS 510 REFERENCES 513 CHAPTER 13: MODEL
CHECKING LINEAR-TIME PROPERTIES OF PROBABILISTIC SYSTEMS CHRISTEL BAIER,
MARCUS GROESSER, AND FRANK CIESINSKI 519 1 INTRODUCTION 519 2 MARKOV
DECISION PROCESSES 526 3 MAXIMAL REACHABILITY PROBABILITIES 533 4 MODEL
CHECKING W-REGULAR PROPERTIES 538 5 PARTIAL ORDER REDUCTION 547 6
PARTIALLY OBSERVABLE MDPS 557 7 CONCLUSION 559 8 APPENDIX 560 REFERENCES
563 CHAPTER 14: APPLICATIONS OF WEIGHTED AUTOMATA IN NATURAL LANGUAGE
PROCESSING KEVIN KNIGHT AND JONATHAN MAY 571 1 BACKGROUND 571 2 WFST
TECHNIQUES FOR NATURAL LANGUAGE PROCESSING 572 2. CONTENTS XVII 3.5
SUMMARIZATION 586 3.6 OPTICAL CHARACTER RECOGNITION 586 4 APPLICATIONS
OF WEIGHTED TREE AUTOMATA 586 4.1 OPEN PROBLEMS 590 5 CONCLUSION 591
REFERENCES 591 INDEX 597
|
| any_adam_object | 1 |
| author2 | Droste, Manfred |
| author2_role | edt |
| author2_variant | m d md |
| author_facet | Droste, Manfred |
| building | Verbundindex |
| bvnumber | BV035762508 |
| classification_rvk | ST 136 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)1075443740 (DE-599)DNB994783361 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-01492-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02377nmm a2200517 c 4500</leader><controlfield tag="001">BV035762508</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101130 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">091009s2009 gw |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642014925</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-01492-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1075443740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994783361</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of Weighted Automata</subfield><subfield code="c">Manfred Droste ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVII, 608 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Monographs in Theoretical Computer Science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gewichteter Automat</subfield><subfield code="0">(DE-588)7690901-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gewichteter Automat</subfield><subfield code="0">(DE-588)7690901-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Droste, Manfred</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-3-642-01491-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018622354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018622354</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-01492-5</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035762508 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:03:56Z |
| institution | BVB |
| isbn | 9783642014925 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018622354 |
| oclc_num | 1075443740 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-703 DE-706 DE-634 DE-739 |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-703 DE-706 DE-634 DE-739 |
| physical | 1 Online-Ressource (XVII, 608 S.) |
| psigel | ZDB-2-SCS |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series2 | Monographs in Theoretical Computer Science |
| spelling | Handbook of Weighted Automata Manfred Droste ... (eds.) Berlin [u.a.] Springer 2009 1 Online-Ressource (XVII, 608 S.) txt rdacontent c rdamedia cr rdacarrier Monographs in Theoretical Computer Science Gewichteter Automat (DE-588)7690901-3 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Gewichteter Automat (DE-588)7690901-3 s DE-604 Automatentheorie (DE-588)4003953-5 s 1\p DE-604 Droste, Manfred edt Erscheint auch als Druck-Ausgabe, Hardcover 978-3-642-01491-8 https://doi.org/10.1007/978-3-642-01492-5 Verlag Volltext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018622354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Handbook of Weighted Automata Gewichteter Automat (DE-588)7690901-3 gnd Automatentheorie (DE-588)4003953-5 gnd |
| subject_GND | (DE-588)7690901-3 (DE-588)4003953-5 (DE-588)4143413-4 |
| title | Handbook of Weighted Automata |
| title_auth | Handbook of Weighted Automata |
| title_exact_search | Handbook of Weighted Automata |
| title_full | Handbook of Weighted Automata Manfred Droste ... (eds.) |
| title_fullStr | Handbook of Weighted Automata Manfred Droste ... (eds.) |
| title_full_unstemmed | Handbook of Weighted Automata Manfred Droste ... (eds.) |
| title_short | Handbook of Weighted Automata |
| title_sort | handbook of weighted automata |
| topic | Gewichteter Automat (DE-588)7690901-3 gnd Automatentheorie (DE-588)4003953-5 gnd |
| topic_facet | Gewichteter Automat Automatentheorie Aufsatzsammlung |
| url | https://doi.org/10.1007/978-3-642-01492-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018622354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT drostemanfred handbookofweightedautomata |