Verfügbarkeit: Combinatorics on traces | Technische Universität München

Combinatorics on traces:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Diekert, Volker 1955- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 1990
Schriftenreihe:	Lecture notes in computer science 454
Schlagwörter:	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 Ablaufverfolgung Parallelverarbeitung Spurenanalyse Wortproblem Abelsche Halbgruppe Spurtheorie Kombinatorik Freies Monoid Spur > Mathematik
Links:	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
Umfang:	XII, 164 S.
ISBN:	3540530312 0387530312

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV004219349
003	DE-604
005	20160411
007	t\|
008	910129s1990 xx \|\|\|\| 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 ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a DAT 516f \|2 stub
084			\|a DAT 555f \|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 Ablaufverfolgung \|0 (DE-588)4767115-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Spurenanalyse \|0 (DE-588)4056593-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Wortproblem \|0 (DE-588)4337256-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abelsche Halbgruppe \|0 (DE-588)4140989-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Spurtheorie \|0 (DE-588)4575230-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kombinatorik \|0 (DE-588)4031824-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 Spur \|g Mathematik \|0 (DE-588)4202272-1 \|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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-002627094

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 999-454 0819 IN.058
DE-BY-TUM_katkey	512636
DE-BY-TUM_location	01 LSB
DE-BY-TUM_media_number	040020515319 TEMP2960091
_version_	1821937528599478273
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	ST 130
classification_tum	DAT 516f DAT 555f
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>00000nam a2200000 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 xx \|\|\|\| 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">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 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</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">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">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">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">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">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="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">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">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">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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002627094</subfield></datafield></record></collection>
id	DE-604.BV004219349
illustrated	Not Illustrated
indexdate	2025-01-11T18:57:17Z
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
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 Ablaufverfolgung (DE-588)4767115-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Spurenanalyse (DE-588)4056593-2 gnd Wortproblem (DE-588)4337256-9 gnd Abelsche Halbgruppe (DE-588)4140989-9 gnd Spurtheorie (DE-588)4575230-8 gnd Kombinatorik (DE-588)4031824-2 gnd Freies Monoid (DE-588)4155301-9 gnd Spur Mathematik (DE-588)4202272-1 gnd
subject_GND	(DE-588)4767115-4 (DE-588)4075860-6 (DE-588)4056593-2 (DE-588)4337256-9 (DE-588)4140989-9 (DE-588)4575230-8 (DE-588)4031824-2 (DE-588)4155301-9 (DE-588)4202272-1
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 Ablaufverfolgung (DE-588)4767115-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Spurenanalyse (DE-588)4056593-2 gnd Wortproblem (DE-588)4337256-9 gnd Abelsche Halbgruppe (DE-588)4140989-9 gnd Spurtheorie (DE-588)4575230-8 gnd Kombinatorik (DE-588)4031824-2 gnd Freies Monoid (DE-588)4155301-9 gnd Spur Mathematik (DE-588)4202272-1 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 Ablaufverfolgung Parallelverarbeitung Spurenanalyse Wortproblem Abelsche Halbgruppe Spurtheorie Kombinatorik Freies Monoid Spur Mathematik
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

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 001z 2001 A 999-454 Lageplan
Exemplar 1	Ausleihbar Am Standort

Handapparate (nicht verfügbar)

Bestandsangaben von Handapparate (nicht verfügbar)
Signatur:	0819 IN.058 Lageplan
Exemplar 1	Dauerhaft ausgeliehen Ausgeliehen