Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam
1990
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS
90,13 |
| Schlagwörter: | |
| Links: | https://ir.cwi.nl/pub/5737 |
| Abstract: | Abstract: "Term rewriting systems are important for computability theory of abstract data types, for automatic theorem proving, and for the foundations of functional programming. In this short survey we present, starting from first principles, several of the basic notions and facts in the area of term rewriting. Our treatment, which often will be informal, covers abstract rewriting, Combinatory Logic, Orthogonal systems, strategies, critical pair completion, and some extended rewriting formats." |
| Umfang: | 20 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974451 | ||
| 003 | DE-604 | ||
| 005 | 20220207 | ||
| 007 | t| | ||
| 008 | 940206s1990 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)23933213 | ||
| 035 | |a (DE-599)BVBBV008974451 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Klop, Jan Willem |d 1945- |e Verfasser |0 (DE-588)130644498 |4 aut | |
| 245 | 1 | 0 | |a Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |c J. W. Klop |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 20 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,13 | |
| 520 | 3 | |a Abstract: "Term rewriting systems are important for computability theory of abstract data types, for automatic theorem proving, and for the foundations of functional programming. In this short survey we present, starting from first principles, several of the basic notions and facts in the area of term rewriting. Our treatment, which often will be informal, covers abstract rewriting, Combinatory Logic, Orthogonal systems, strategies, critical pair completion, and some extended rewriting formats." | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,13 |w (DE-604)BV008928356 |9 90,13 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5737 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005926025 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 615665 |
|---|---|
| _version_ | 1821931087937404930 |
| any_adam_object | |
| author | Klop, Jan Willem 1945- |
| author_GND | (DE-588)130644498 |
| author_facet | Klop, Jan Willem 1945- |
| author_role | aut |
| author_sort | Klop, Jan Willem 1945- |
| author_variant | j w k jw jwk |
| building | Verbundindex |
| bvnumber | BV008974451 |
| collection | ebook |
| ctrlnum | (OCoLC)23933213 (DE-599)BVBBV008974451 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01668nam a2200325 cb4500</leader><controlfield tag="001">BV008974451</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220207 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940206s1990 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23933213</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974451</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Klop, Jan Willem</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130644498</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond</subfield><subfield code="c">J. W. Klop</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20 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">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,13</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Term rewriting systems are important for computability theory of abstract data types, for automatic theorem proving, and for the foundations of functional programming. In this short survey we present, starting from first principles, several of the basic notions and facts in the area of term rewriting. Our treatment, which often will be informal, covers abstract rewriting, Combinatory Logic, Orthogonal systems, strategies, critical pair completion, and some extended rewriting formats."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,13</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,13</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5737</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926025</subfield></datafield></record></collection> |
| id | DE-604.BV008974451 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:29:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005926025 |
| oclc_num | 23933213 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 20 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| spellingShingle | Klop, Jan Willem 1945- Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS Rewriting systems (Computer science) |
| title | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |
| title_auth | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |
| title_exact_search | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |
| title_full | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond J. W. Klop |
| title_fullStr | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond J. W. Klop |
| title_full_unstemmed | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond J. W. Klop |
| title_short | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |
| title_sort | term rewriting systems from church rosser to knuth bendix and beyond |
| topic | Rewriting systems (Computer science) |
| topic_facet | Rewriting systems (Computer science) |
| url | https://ir.cwi.nl/pub/5737 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT klopjanwillem termrewritingsystemsfromchurchrossertoknuthbendixandbeyond |