Combinatorics on traces:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1990
|
| Schriftenreihe: | Lecture notes in computer science
454 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 164 S. |
| ISBN: | 3540530312 0387530312 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004219349 | ||
| 003 | DE-604 | ||
| 005 | 20160411 | ||
| 007 | t | ||
| 008 | 910129s1990 |||| 00||| eng d | ||
| 020 | |a 3540530312 |9 3-540-53031-2 | ||
| 020 | |a 0387530312 |9 0-387-53031-2 | ||
| 035 | |a (OCoLC)22346829 | ||
| 035 | |a (DE-599)BVBBV004219349 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-91 |a DE-384 |a DE-703 |a DE-739 |a DE-20 |a DE-29T |a DE-19 |a DE-12 |a DE-706 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA267.5.S4 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 516f |2 stub | ||
| 100 | 1 | |a Diekert, Volker |d 1955- |e Verfasser |0 (DE-588)129845353 |4 aut | |
| 245 | 1 | 0 | |a Combinatorics on traces |c Volker Diekert |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1990 | |
| 300 | |a XII, 164 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 454 | |
| 650 | 4 | |a Langages formels | |
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 4 | |a Machines séquentielles, Théorie des | |
| 650 | 7 | |a Machines séquentielles, théorie des |2 ram | |
| 650 | 7 | |a combinatoire |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a monoïde |2 inriac | |
| 650 | 7 | |a réseau Petri |2 inriac | |
| 650 | 7 | |a théorie Trace |2 inriac | |
| 650 | 7 | |a trace |2 inriac | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Sequential machine theory | |
| 650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spur |g Mathematik |0 (DE-588)4202272-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spurenanalyse |0 (DE-588)4056593-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Freies Monoid |0 (DE-588)4155301-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ablaufverfolgung |0 (DE-588)4767115-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wortproblem |0 (DE-588)4337256-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spurtheorie |0 (DE-588)4575230-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abelsche Halbgruppe |0 (DE-588)4140989-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Freies Monoid |0 (DE-588)4155301-9 |D s |
| 689 | 0 | 1 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 1 | 1 | |a Ablaufverfolgung |0 (DE-588)4767115-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Wortproblem |0 (DE-588)4337256-9 |D s |
| 689 | 2 | 1 | |a Abelsche Halbgruppe |0 (DE-588)4140989-9 |D s |
| 689 | 2 | 2 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Spurenanalyse |0 (DE-588)4056593-2 |D s |
| 689 | 3 | 1 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Spurtheorie |0 (DE-588)4575230-8 |D s |
| 689 | 4 | |5 DE-604 | |
| 689 | 5 | 0 | |a Spur |g Mathematik |0 (DE-588)4202272-1 |D s |
| 689 | 5 | 1 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 5 | |5 DE-188 | |
| 830 | 0 | |a Lecture notes in computer science |v 454 |w (DE-604)BV000000607 |9 454 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002627094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002627094 | ||
Datensatz im Suchindex
| _version_ | 1804118419833880576 |
|---|---|
| adam_text | Contents
Introduction 1
1 Free Partially Commutative Monoids 9
1.1 An Introductory Example 9
1.2 Basic Definitions 12
1.3 The Levi Lemma for Traces 19
1.4 A Categorial Approach to the General Embedding Theorem ... 22
1.5 Algorithms Based on the Embedding Theorem 29
2 Recognizable and Rational Trace Languages 37
2.1 Recognizable and Rational Subsets of a Monoid 37
2.2 Closure Properties of Recognizable Trace Languages 39
2.3 Ochmanski Theory 45
2.4 Zielonka Theory 47
3 Petri Nets and Synchronizations 57
3.1 Local Morphisms of Petri Nets 57
3.2 Synchronization of Petri Nets 65
3.3 Local Checking of Trace Synchronizability 67
3.4 Algorithms on Three Colored Graphs 79
4 Complete Semi Thue Systems and Mobius Functions .... 85
4.1 Semi Thue Systems 85
4.2 Complete Presentations of Trace Monoids 90
4.3 Unambiguous Mobius Functions 93
4.4 Mobius Functions and Semi Thue Systems 103
5 Trace Replacement Systems 109
5.1 Preliminaries 109
5.2 The Knuth Bendix Completion 113
5.3 Critical Pairs over Traces 116
5.4 The Completion Procedure on Traces 127
5.5 Some Remarks on Complexity 131
5.6 The Condition Gk(S) for k 0 133
5.7 An Efficient Algorithm for Computing Irreducible Normal Forms . 137
XII
5.8 Cones and Blocks 139
Conclusion and Outlook 153
Bibliography 157
Index 165
|
| any_adam_object | 1 |
| author | Diekert, Volker 1955- |
| author_GND | (DE-588)129845353 |
| author_facet | Diekert, Volker 1955- |
| author_role | aut |
| author_sort | Diekert, Volker 1955- |
| author_variant | v d vd |
| building | Verbundindex |
| bvnumber | BV004219349 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.5.S4 |
| callnumber-search | QA267.5.S4 |
| callnumber-sort | QA 3267.5 S4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 ST 130 |
| classification_tum | DAT 555f DAT 516f |
| ctrlnum | (OCoLC)22346829 (DE-599)BVBBV004219349 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03266nam a2200841 cb4500</leader><controlfield tag="001">BV004219349</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160411 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910129s1990 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540530312</subfield><subfield code="9">3-540-53031-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387530312</subfield><subfield code="9">0-387-53031-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22346829</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004219349</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.5.S4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Diekert, Volker</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)129845353</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Combinatorics on traces</subfield><subfield code="c">Volker Diekert</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 164 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">454</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machines séquentielles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machines séquentielles, théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">monoïde</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réseau Petri</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie Trace</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">trace</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequential machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spur</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4202272-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spurenanalyse</subfield><subfield code="0">(DE-588)4056593-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Freies Monoid</subfield><subfield code="0">(DE-588)4155301-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ablaufverfolgung</subfield><subfield code="0">(DE-588)4767115-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wortproblem</subfield><subfield code="0">(DE-588)4337256-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spurtheorie</subfield><subfield code="0">(DE-588)4575230-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abelsche Halbgruppe</subfield><subfield code="0">(DE-588)4140989-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Freies Monoid</subfield><subfield code="0">(DE-588)4155301-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Ablaufverfolgung</subfield><subfield code="0">(DE-588)4767115-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Wortproblem</subfield><subfield code="0">(DE-588)4337256-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Abelsche Halbgruppe</subfield><subfield code="0">(DE-588)4140989-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Spurenanalyse</subfield><subfield code="0">(DE-588)4056593-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Spurtheorie</subfield><subfield code="0">(DE-588)4575230-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Spur</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4202272-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">454</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">454</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=002627094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002627094</subfield></datafield></record></collection> |
| id | DE-604.BV004219349 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:10:00Z |
| institution | BVB |
| isbn | 3540530312 0387530312 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002627094 |
| oclc_num | 22346829 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-384 DE-703 DE-739 DE-20 DE-29T DE-19 DE-BY-UBM DE-12 DE-706 DE-83 DE-188 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-384 DE-703 DE-739 DE-20 DE-29T DE-19 DE-BY-UBM DE-12 DE-706 DE-83 DE-188 DE-11 |
| physical | XII, 164 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Diekert, Volker 1955- Verfasser (DE-588)129845353 aut Combinatorics on traces Volker Diekert Berlin [u.a.] Springer 1990 XII, 164 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 454 Langages formels Langages formels ram Machines séquentielles, Théorie des Machines séquentielles, théorie des ram combinatoire inriac concurrence inriac monoïde inriac réseau Petri inriac théorie Trace inriac trace inriac Formal languages Sequential machine theory Kombinatorik (DE-588)4031824-2 gnd rswk-swf Spur Mathematik (DE-588)4202272-1 gnd rswk-swf Spurenanalyse (DE-588)4056593-2 gnd rswk-swf Freies Monoid (DE-588)4155301-9 gnd rswk-swf Ablaufverfolgung (DE-588)4767115-4 gnd rswk-swf Wortproblem (DE-588)4337256-9 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Spurtheorie (DE-588)4575230-8 gnd rswk-swf Abelsche Halbgruppe (DE-588)4140989-9 gnd rswk-swf Freies Monoid (DE-588)4155301-9 s Kombinatorik (DE-588)4031824-2 s DE-604 Parallelverarbeitung (DE-588)4075860-6 s Ablaufverfolgung (DE-588)4767115-4 s Wortproblem (DE-588)4337256-9 s Abelsche Halbgruppe (DE-588)4140989-9 s Spurenanalyse (DE-588)4056593-2 s Spurtheorie (DE-588)4575230-8 s Spur Mathematik (DE-588)4202272-1 s DE-188 Lecture notes in computer science 454 (DE-604)BV000000607 454 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002627094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Diekert, Volker 1955- Combinatorics on traces Lecture notes in computer science Langages formels Langages formels ram Machines séquentielles, Théorie des Machines séquentielles, théorie des ram combinatoire inriac concurrence inriac monoïde inriac réseau Petri inriac théorie Trace inriac trace inriac Formal languages Sequential machine theory Kombinatorik (DE-588)4031824-2 gnd Spur Mathematik (DE-588)4202272-1 gnd Spurenanalyse (DE-588)4056593-2 gnd Freies Monoid (DE-588)4155301-9 gnd Ablaufverfolgung (DE-588)4767115-4 gnd Wortproblem (DE-588)4337256-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Spurtheorie (DE-588)4575230-8 gnd Abelsche Halbgruppe (DE-588)4140989-9 gnd |
| subject_GND | (DE-588)4031824-2 (DE-588)4202272-1 (DE-588)4056593-2 (DE-588)4155301-9 (DE-588)4767115-4 (DE-588)4337256-9 (DE-588)4075860-6 (DE-588)4575230-8 (DE-588)4140989-9 |
| title | Combinatorics on traces |
| title_auth | Combinatorics on traces |
| title_exact_search | Combinatorics on traces |
| title_full | Combinatorics on traces Volker Diekert |
| title_fullStr | Combinatorics on traces Volker Diekert |
| title_full_unstemmed | Combinatorics on traces Volker Diekert |
| title_short | Combinatorics on traces |
| title_sort | combinatorics on traces |
| topic | Langages formels Langages formels ram Machines séquentielles, Théorie des Machines séquentielles, théorie des ram combinatoire inriac concurrence inriac monoïde inriac réseau Petri inriac théorie Trace inriac trace inriac Formal languages Sequential machine theory Kombinatorik (DE-588)4031824-2 gnd Spur Mathematik (DE-588)4202272-1 gnd Spurenanalyse (DE-588)4056593-2 gnd Freies Monoid (DE-588)4155301-9 gnd Ablaufverfolgung (DE-588)4767115-4 gnd Wortproblem (DE-588)4337256-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Spurtheorie (DE-588)4575230-8 gnd Abelsche Halbgruppe (DE-588)4140989-9 gnd |
| topic_facet | Langages formels Machines séquentielles, Théorie des Machines séquentielles, théorie des combinatoire concurrence monoïde réseau Petri théorie Trace trace Formal languages Sequential machine theory Kombinatorik Spur Mathematik Spurenanalyse Freies Monoid Ablaufverfolgung Wortproblem Parallelverarbeitung Spurtheorie Abelsche Halbgruppe |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002627094&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT diekertvolker combinatoricsontraces |