Term rewriting systems:
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 disc...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1990
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS
90,73 |
| Subjects: | |
| Summary: | 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." |
| Physical Description: | 132 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974424 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005925998 | ||
Record in the Search Index
| _version_ | 1804123312450699264 |
|---|---|
| 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>01857nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005925998</subfield></datafield></record></collection> |
| id | DE-604.BV008974424 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| 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 |
| spelling | Klop, Jan Willem 1945- Verfasser (DE-588)130644498 aut Term rewriting systems J. W. Klop Amsterdam 1990 132 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,73 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." Abstract data types (Computer science) Automated reasoning Combinatory logic Functional programming (Computer science) Rewriting systems (Computer science) Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,73 (DE-604)BV008928356 90,73 |
| 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 |