Advanced topics in term rewriting:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
New York [u.a.]
Springer
2002
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 414 S. graph. Darst. |
| ISBN: | 0387952500 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014328969 | ||
| 003 | DE-604 | ||
| 005 | 20051128 | ||
| 007 | t | ||
| 008 | 020605s2002 d||| |||| 00||| ger d | ||
| 016 | 7 | |a 96467937X |2 DE-101 | |
| 020 | |a 0387952500 |9 0-387-95250-0 | ||
| 035 | |a (OCoLC)47667267 | ||
| 035 | |a (DE-599)BVBBV014328969 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91G |a DE-739 |a DE-19 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 554f |2 stub | ||
| 100 | 1 | |a Ohlebusch, Enno |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Advanced topics in term rewriting |c Enno Ohlebusch |
| 264 | 1 | |a New York [u.a.] |b Springer |c 2002 | |
| 300 | |a XV, 414 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009829783&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009829783 | ||
Datensatz im Suchindex
| _version_ | 1804129226889101312 |
|---|---|
| adam_text | ENNO OHLEBUSCH ADVANCED TOPICS IN TERM REWRITING WITH 43 FIGURES
SPRINGER CONTENTS PREFACE VII 1 MOTIVATION 1 2 ABSTRACT REDUCTION
SYSTEMS 7 2.1 TERMINATION 9 2.2 CONFLUENCE 11 2.3 PARTIAL ORDERINGS 16
2.4 COMMUTATION 21 2.5 REDUCTION MODULO AN EQUIVALENCE 23 2.6 LOCAL
DECREASINGNESS 31 3 TERM REWRITING SYSTEMS 37 3.1 TERMS AND
SUBSTITUTIONS 37 3.2 REWRITE SYSTEMS 40 4 CONFLUENCE 45 4.1
UNDECIDABILITY OF CONFLUENCE 45 4.2 CONFLUENCE OF TERMINATING SYSTEMS 47
4.3 CONFLUENCE OF NONTERMINATING SYSTEMS 51 5 TERMINATION 57 5.1
UNDECIDABILITY OF TERMINATION 57 5.2 STANDARD TECHNIQUES 59 CONTENTS
5.2.1 THE INTERPRETATION METHOD 60 5.2.2 SIMPLIFICATION ORDERINGS 64 5.3
THE TERMINATION HIERARCHY 71 5.4 THE DEPENDENCY PAIR METHOD 75 5.4.1
DEPENDENCY PAIRS 77 5.4.2 QUASI-SIMPLIFICATION ORDERINGS 88 5.4.3 THE
INTERPRETATION METHOD 93 5.5 TRANSFORMATIONAL METHODS 98 5.5.1 SEMANTIC
LABELING 98 5.5.2 SEMANTIC LABELING MEETS DEPENDENCY PAIRS 104 5.5.3
TYPE INTRODUCTION 109 5.6 INNERMOST TERMINATION 115 5.6.1 CONDITIONS FOR
THE EQUIVALENCE TO TERMINATION . . . 116 5.6.2 PROVING INNERMOST
TERMINATION 120 5.6.3 CONFLUENCE AND INNERMOST TERMINATION 124 RELATIVE
UNDECIDABILITY 127 6.1 THE TERMINATION HIERARCHY 127 6.1.1 THETRSW(F, Q)
129 6.1.2 W-TERMINATION OF U{P, Q) 135 6.1.3 ONE-RULE REWRITE SYSTEMS
152 6.1.4 PROVING RELATIVE UNDECIDABILITY 155 6.2 THE CONFLUENCE
HIERARCHY 166 6.3 SUMMARY 178 CONDITIONAL REWRITE SYSTEMS 179 7.1 BASIC
NOTIONS 180 7.2 EFFECTIVE TERMINATION 186 7.2.1 SYSTEMS WITHOUT EXTRA
VARIABLES 187 7.2.2 TRANSFORMING 1-CTRSS 190 7.2.3 LEFT-LINEAR NORMAL
1-CTRSS 195 7.2.4 SUMMARY: METHODS FOR 1-CTRSS 204 7.2.5 EXTRA VARIABLES
ON RIGHT-HAND SIDES 204 7.2.6 QUASI-REDUCTIVE DETERMINISTIC 3-CTRSS 206
7.2.7 TRANSFORMING 3-CTRSS 211 7.2.8 INNERMOST TERMINATION OF U(H) 215
7.2.9 QUASI-SIMPLIFYING DETERMINISTIC 3-CTRSS 225 7.2.10 SUMMARY:
METHODS FOR 3-CTRSS 229 7.3 CONFLUENCE OF TERMINATING SYSTEMS 230 7.4
ORTHOGONAL SYSTEMS 232 7.4.1 NORMAL 2-CTRSS 233 7.4.2 ALMOST NORMAL
2-CTRSS 235 7.4.3 LEVEL-CONFLUENCE FOR 3-CTRSS 237 7.4.4 CTRSS WITH
STRICT EQUALITY 237 CONTENTS XV 8 MODULARITY 243 8.1 DIFFERENT KINDS OF
COMBINATIONS 243 8.2 A SHORT HISTORY OF MODULARITY RESULTS 248 8.2.1 THE
CONFLUENCE HIERARCHY 248 8.2.2 THE TERMINATION HIERARCHY 252 8.2.3
COMBINED PROPERTIES 257 8.3 CF-TERMINATION AND THE TERMINATION HIERARCHY
259 8.4 DISJOINT UNIONS 263 8.4.1 CS AND SIMPLE TERMINATION 265 8.4.2 DP
QUASI-SIMPLE TERMINATION 275 8.4.3 PERSISTENCE VS. MODULARITY 281 8.5
CONSTRUCTOR-SHARING SYSTEMS 282 8.5.1 CONFLUENCE 285 8.5.2 UNIQUE
NORMALIZATION 291 8.6 HIERARCHICAL COMBINATIONS 294 8.6.1 C AND SIMPLE
TERMINATION 294 8.6.2 INNERMOST TERMINATION 309 8.6.3 CONFLUENCE 313 8.7
CONDITIONAL SYSTEMS 317 9 GRAPH REWRITING 325 9.1 A UNIFORM FRAMEWORK
FOR TERM, GRAPH, AND NONCOPYING REWRITING , 327 9.2 AN APPLICATION OF
THE FRAMEWORK 333 9.3 FURTHER TOPICS 337 9.4 CONDITIONAL GRAPH
REWRITING 338 9.4.1 ADEQUACY 340 9.4.2 CONFLUENCE 343 10 PROVING
TERMINATION OF LOGIC PROGRAMS 351 10.1 LOGIC PROGRAMS 354 10.2 THE
TRANSFORMATION 355 10.3 COMPARISON OF THE DIFFERENT METHODS 362 10.4
COMPLETENESS 364 10.5 PROVING TERMINATION AUTOMATICALLY 369 10.6
EMPIRICAL RESULTS 371 10.7 SUMMARY AND RELATED WORK 376 A KRUSKAPS
THEOREM 379 A.I PARTIAL WELL-ORDERINGS 379 A.2 A PROOF OF KRUSKAL S
THEOREM 381 REFERENCES 385 INDEX 407
|
| any_adam_object | 1 |
| author | Ohlebusch, Enno |
| author_facet | Ohlebusch, Enno |
| author_role | aut |
| author_sort | Ohlebusch, Enno |
| author_variant | e o eo |
| building | Verbundindex |
| bvnumber | BV014328969 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| classification_tum | DAT 554f |
| ctrlnum | (OCoLC)47667267 (DE-599)BVBBV014328969 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01345nam a2200373 c 4500</leader><controlfield tag="001">BV014328969</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020605s2002 d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">96467937X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387952500</subfield><subfield code="9">0-387-95250-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47667267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014328969</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">21</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 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ohlebusch, Enno</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advanced topics in term rewriting</subfield><subfield code="c">Enno Ohlebusch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 414 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=009829783&sequence=000001&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-009829783</subfield></datafield></record></collection> |
| id | DE-604.BV014328969 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:01:47Z |
| institution | BVB |
| isbn | 0387952500 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009829783 |
| oclc_num | 47667267 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | XV, 414 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| spelling | Ohlebusch, Enno Verfasser aut Advanced topics in term rewriting Enno Ohlebusch New York [u.a.] Springer 2002 XV, 414 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Rewriting systems (Computer science) Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009829783&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ohlebusch, Enno Advanced topics in term rewriting Rewriting systems (Computer science) Termersetzungssystem (DE-588)4117189-5 gnd |
| subject_GND | (DE-588)4117189-5 |
| title | Advanced topics in term rewriting |
| title_auth | Advanced topics in term rewriting |
| title_exact_search | Advanced topics in term rewriting |
| title_full | Advanced topics in term rewriting Enno Ohlebusch |
| title_fullStr | Advanced topics in term rewriting Enno Ohlebusch |
| title_full_unstemmed | Advanced topics in term rewriting Enno Ohlebusch |
| title_short | Advanced topics in term rewriting |
| title_sort | advanced topics in term rewriting |
| topic | Rewriting systems (Computer science) Termersetzungssystem (DE-588)4117189-5 gnd |
| topic_facet | Rewriting systems (Computer science) Termersetzungssystem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009829783&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ohlebuschenno advancedtopicsintermrewriting |