Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond:
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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1990
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS
90,13 |
| Schlagworte: | |
| Online-Zugang: | kostenfrei |
| Zusammenfassung: | 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." |
| Beschreibung: | 20 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974451 | ||
| 003 | DE-604 | ||
| 005 | 20220207 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 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 | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005926025 | ||
Datensatz im Suchindex
| _version_ | 1804123312504176640 |
|---|---|
| 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>01667nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926025</subfield></datafield></record></collection> |
| id | DE-604.BV008974451 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| 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 |
| spelling | Klop, Jan Willem 1945- Verfasser (DE-588)130644498 aut Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond J. W. Klop Amsterdam 1990 20 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,13 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." Rewriting systems (Computer science) Erscheint auch als Online-Ausgabe Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,13 (DE-604)BV008928356 90,13 https://ir.cwi.nl/pub/5737 Verlag kostenfrei Volltext |
| 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 |