Term rewriting systems:
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,73 |
| Schlagwörter: | |
| Abstract: | Abstract: "Term Rewriting Systems play an important role in various areas, such as abstract data type specifications, implementations of functional programming languages and automated deduction. In this chapter we introduce several of the basic concepts and facts for TRSs. Specifically, we discuss Abstract Reduction Systems; general Term Rewriting Systems including an account of Knuth-Bendix completion and (E- )unification; orthogonal TRSs and reduction strategies; strongly sequential orthogonal TRS. Finally some extended rewrite formates are introduced: Conditional TRSs and Combinatory Reduction Systems. The emphasis throughout the paper is on providing information of a syntactic nature." |
| Umfang: | 132 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974424 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 940206s1990 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)24924115 | ||
| 035 | |a (DE-599)BVBBV008974424 | ||
| 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 |c J. W. Klop |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 132 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,73 | |
| 520 | 3 | |a Abstract: "Term Rewriting Systems play an important role in various areas, such as abstract data type specifications, implementations of functional programming languages and automated deduction. In this chapter we introduce several of the basic concepts and facts for TRSs. Specifically, we discuss Abstract Reduction Systems; general Term Rewriting Systems including an account of Knuth-Bendix completion and (E- )unification; orthogonal TRSs and reduction strategies; strongly sequential orthogonal TRS. Finally some extended rewrite formates are introduced: Conditional TRSs and Combinatory Reduction Systems. The emphasis throughout the paper is on providing information of a syntactic nature." | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a Automated reasoning | |
| 650 | 4 | |a Combinatory logic | |
| 650 | 4 | |a Functional programming (Computer science) | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,73 |w (DE-604)BV008928356 |9 90,73 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005925998 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6005-1990,73 |
|---|---|
| DE-BY-TUM_katkey | 615639 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010486389 |
| _version_ | 1821930932160954368 |
| 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 | BV008974424 |
| ctrlnum | (OCoLC)24924115 (DE-599)BVBBV008974424 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01858nam a2200337 cb4500</leader><controlfield tag="001">BV008974424</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940206s1990 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24924115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974424</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</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">132 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,73</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Term Rewriting Systems play an important role in various areas, such as abstract data type specifications, implementations of functional programming languages and automated deduction. In this chapter we introduce several of the basic concepts and facts for TRSs. Specifically, we discuss Abstract Reduction Systems; general Term Rewriting Systems including an account of Knuth-Bendix completion and (E- )unification; orthogonal TRSs and reduction strategies; strongly sequential orthogonal TRS. Finally some extended rewrite formates are introduced: Conditional TRSs and Combinatory Reduction Systems. The emphasis throughout the paper is on providing information of a syntactic nature."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automated reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</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,73</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,73</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005925998</subfield></datafield></record></collection> |
| id | DE-604.BV008974424 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:29:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005925998 |
| oclc_num | 24924115 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 132 S. |
| 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 Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS Abstract data types (Computer science) Automated reasoning Combinatory logic Functional programming (Computer science) Rewriting systems (Computer science) |
| title | Term rewriting systems |
| title_auth | Term rewriting systems |
| title_exact_search | Term rewriting systems |
| title_full | Term rewriting systems J. W. Klop |
| title_fullStr | Term rewriting systems J. W. Klop |
| title_full_unstemmed | Term rewriting systems J. W. Klop |
| title_short | Term rewriting systems |
| title_sort | term rewriting systems |
| topic | Abstract data types (Computer science) Automated reasoning Combinatory logic Functional programming (Computer science) Rewriting systems (Computer science) |
| topic_facet | Abstract data types (Computer science) Automated reasoning Combinatory logic Functional programming (Computer science) Rewriting systems (Computer science) |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT klopjanwillem termrewritingsystems |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6005-1990,73 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |