Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 4

Title: Comparing Curried and Uncurried Rewriting

Author:

Author:

Subject: Richard Kennaway,Jan Willem Klop Comparing Curried and Uncurried Rewriting

Description: this paper we show that strong normalization (SN), weak normalization (WN), the weak Church-Rosser property (WCR), the unique normal form property (UN), completeness, and semi-completeness are preserved by currying. For left-linear term rewrite systems we show that currying also preserves the normal form property (NF) and the UN

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-03-11

Pubyear: 1995

Format: ps

Identifier: http://citeseer.ist.psu.edu/148781.html

Source: http://hatoyama.hitachi.co.jp/people/devries/Papers/curry.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/86872.html"   Type="incollection"   CiteSeer_Book="Handbook   of   Theoretical   Computer   Science   Volume   B   Formal   Models   and   Sematics   B"   CiteSeer_Volume=""   Title="Rewrite   Systems,">

            <identifier   Org="ISBN:3540006230"   Paper_ID="/86872.html"   Extracted="3540006230"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540192425"   Paper_ID="/86872.html"   Extracted="3540192425"   />

            <identifier   Org="ISBN:3540221530"   Paper_ID="/86872.html"   Extracted="3540221530"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540402543"   Paper_ID="/86872.html"   Extracted="3540402543"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540510818"   Paper_ID="/86872.html"   Extracted="3540510818"   />

            <identifier   Org="ISBN:3540534148"   Paper_ID="/86872.html"   Extracted="3540534148"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540539042"   Paper_ID="/86872.html"   Extracted="3540539042"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540543171"   Paper_ID="/86872.html"   Extracted="3540543171"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/86872.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540563938"   Paper_ID="/86872.html"   Extracted="3540563938"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540565175"   Paper_ID="/86872.html"   Extracted="3540565175"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540568689"   Paper_ID="/86872.html"   Extracted="3540568689"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540575294"   Paper_ID="/86872.html"   Extracted="3540575294"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540592008"   Paper_ID="/86872.html"   Extracted="3540592008"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540603816"   Paper_ID="/86872.html"   Extracted="3540603816"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/86872.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540616292"   Paper_ID="/86872.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354064301X"   Paper_ID="/86872.html"   Extracted="354064301X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/86872.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354067778X"   Paper_ID="/86872.html"   Extracted="354067778X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/420260.html"   Type="article"   CiteSeer_Book="Journal   of   Symbolic   Computation"   CiteSeer_Volume="19"   Title="Confluence   of   Curried   Term-Rewriting   Systems,">

            <identifier   Org="ISBN:0521391156"   Paper_ID="/420260.html"   Extracted="0521391156"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:354060216X"   Paper_ID="/420260.html"   Extracted="354060216X"   DDC="004/.01/5116"   Normalized_DDC="004015116"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/337223.html"   Type="article"   CiteSeer_Book="Journal   of   Symbolic   Computation"   CiteSeer_Volume="21"   Title="Comparing   Curried   and   Uncurried   Rewriting,">

            <identifier   Org="ISBN:3540221530"   Paper_ID="/337223.html"   Extracted="3540221530"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540290516"   Paper_ID="/337223.html"   Extracted="3540290516"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354030911X"   Paper_ID="/337223.html"   Extracted="354030911X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="/337223.html"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/337223.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/337223.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/337223.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="/419206.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourth   International   Conference   on   Rewriting   Techniques   and   Applications   Como   Italy"   CiteSeer_Volume=""   Title="Completeness   of   Combinations   of   Constructor   Systems,">

            <identifier   Org="ISBN:1581135289"   Paper_ID="/419206.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540539042"   Paper_ID="/419206.html"   Extracted="3540539042"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/419206.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540563938"   Paper_ID="/419206.html"   Extracted="3540563938"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540575294"   Paper_ID="/419206.html"   Extracted="3540575294"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354057879X"   Paper_ID="/419206.html"   Extracted="354057879X"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540578870"   Paper_ID="/419206.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="/419206.html"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/419206.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/419206.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540603816"   Paper_ID="/419206.html"   Extracted="3540603816"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540610642"   Paper_ID="/419206.html"   Extracted="3540610642"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540614648"   Paper_ID="/419206.html"   Extracted="3540614648"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540629505"   Paper_ID="/419206.html"   Extracted="3540629505"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540634371"   Paper_ID="/419206.html"   Extracted="3540634371"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540634592"   Paper_ID="/419206.html"   Extracted="3540634592"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/419206.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Comparing   Curried   and   Uncurried   Rewriting">

            <identifier   Org="ISBN:3540221530"   Paper_ID="SELF"   Extracted="3540221530"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540290516"   Paper_ID="SELF"   Extracted="3540290516"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354030911X"   Paper_ID="SELF"   Extracted="354030911X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="SELF"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="SELF"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="SELF"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="SELF"   Extracted="3540894381"   />

      </rec>

</references_metadata>

www.000webhost.com