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>