Automatically assigned DDC number: 005131
Manually assigned DDC number: 51154
Number of references: 16
Title: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
Author:
Author:
Subject: Andrea Corradini,Fabio Gadducci An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
Description: . We present a categorical characterisation of term graphs (i.e., finite, directed acyclic graphs labeled over a signature) that parallels the well-known characterisation of terms as arrows of the algebraic theory of a given signature (i.e., the free Cartesian category generated by it). In particular, we show that term graphs over a signature Sigma are one-to-one with the arrows of the free gs-monoidal category generated by Sigma. Such a category satisfies all the axioms for Cartesian categories but for the naturality of two transformations (the discharger ! and the duplicator r), providing in this way an abstract and clear relationship between terms and term graphs. In particular, the absence of the naturality of r and ! has a precise interpretation in terms of explicit sharing and of loss of implicit garbage collection, respectively. Keywords: algebraic theories, directed acyclic graphs, gs-monoidal categories, symmetric monoidal categories, term graphs. Mathematical Subject Clas...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1999-11-30
Pubyear: 1999
Format: ps
Identifier: http://citeseer.ist.psu.edu/328466.html
Source: http://www.di.unipi.it/~gadducci/papers/APCS.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/62826.html" Type="incollection" CiteSeer_Book="704" CiteSeer_Volume="" Title="Equational term graph rewriting,">
<identifier Org="ISBN:0262600315" Paper_ID="/62826.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:1841500585" Paper_ID="/62826.html" Extracted="1841500585" />
<identifier Org="ISBN:3540291067" Paper_ID="/62826.html" Extracted="3540291067" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354030911X" Paper_ID="/62826.html" Extracted="354030911X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540626883" Paper_ID="/62826.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354063388X" Paper_ID="/62826.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540634371" Paper_ID="/62826.html" Extracted="3540634371" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354063455X" Paper_ID="/62826.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540662464" Paper_ID="/62826.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540676686" Paper_ID="/62826.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540678972" Paper_ID="/62826.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540705880" Paper_ID="/62826.html" Extracted="3540705880" />
<identifier Org="ISBN:9810240201" Paper_ID="/62826.html" Extracted="9810240201" DDC="511.5" Normalized_DDC="5115" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/721118.html" Type="inproceedings" CiteSeer_Book="CSL" CiteSeer_Volume="" Title="From Action Calculi to Linear Logic,">
<identifier Org="ISBN:1586036254" Paper_ID="/721118.html" Extracted="1586036254" />
<identifier Org="ISBN:354063388X" Paper_ID="/721118.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540645705" Paper_ID="/721118.html" Extracted="3540645705" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540657630" Paper_ID="/721118.html" Extracted="3540657630" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/330442.html" Type="inproceedings" CiteSeer_Book="Category Theory and Computer Science" CiteSeer_Volume="" Title="A 2-Categorical Presentation of Term Graph Rewriting,">
<identifier Org="ISBN:044450396X" Paper_ID="/330442.html" Extracted="044450396X" DDC="512" Normalized_DDC="512" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540634371" Paper_ID="/330442.html" Extracted="3540634371" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.125" />
<identifier Org="ISBN:354063455X" Paper_ID="/330442.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540642994" Paper_ID="/330442.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540647813" Paper_ID="/330442.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540662464" Paper_ID="/330442.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540664122" Paper_ID="/330442.html" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />
<identifier Org="ISBN:9810240201" Paper_ID="/330442.html" Extracted="9810240201" DDC="511.5" Normalized_DDC="5115" Normalized_Weight="0.125" />
</rec>
<rec ID="/337775.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1378" Title="Rational Term Rewriting,">
<identifier Org="ISBN:0471935670" Paper_ID="/337775.html" Extracted="0471935670" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540568689" Paper_ID="/337775.html" Extracted="3540568689" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540642994" Paper_ID="/337775.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540643001" Paper_ID="/337775.html" Extracted="3540643001" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540705880" Paper_ID="/337775.html" Extracted="3540705880" />
<identifier Org="ISBN:9810240201" Paper_ID="/337775.html" Extracted="9810240201" DDC="511.5" Normalized_DDC="5115" Normalized_Weight="0.2" />
</rec>
<rec ID="/327955.html" Type="inproceedings" CiteSeer_Book="Workshop on Algebraic Development Techniques" CiteSeer_Volume="" Title="Functorial Semantics for Multi-algebras,">
<identifier Org="ISBN:3540333398" Paper_ID="/327955.html" Extracted="3540333398" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540662464" Paper_ID="/327955.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
</rec>
<rec ID="/335714.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="914" Title="Relating Two Categorical Models of Term Rewriting,">
<identifier Org="ISBN:3540249362" Paper_ID="/335714.html" Extracted="3540249362" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540402543" Paper_ID="/335714.html" Extracted="3540402543" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354059132X" Paper_ID="/335714.html" Extracted="354059132X" DDC="005.7/3" Normalized_DDC="00573" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540592008" Paper_ID="/335714.html" Extracted="3540592008" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540600434" Paper_ID="/335714.html" Extracted="3540600434" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540616047" Paper_ID="/335714.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354063455X" Paper_ID="/335714.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540642994" Paper_ID="/335714.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540645896" Paper_ID="/335714.html" Extracted="3540645896" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540664254" Paper_ID="/335714.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354067778X" Paper_ID="/335714.html" Extracted="354067778X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/23969.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="the Algebraic Approach to Concurrent Term Rewriting,">
<identifier Org="ISBN:3540249362" Paper_ID="/23969.html" Extracted="3540249362" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540634371" Paper_ID="/23969.html" Extracted="3540634371" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354063455X" Paper_ID="/23969.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540642994" Paper_ID="/23969.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540645896" Paper_ID="/23969.html" Extracted="3540645896" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540657185" Paper_ID="/23969.html" Extracted="3540657185" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540662464" Paper_ID="/23969.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/330683.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="The Tile Model,">
<identifier Org="ISBN:0412821109" Paper_ID="/330683.html" Extracted="0412821109" DDC="670.285" Normalized_DDC="670285" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0780329708" Paper_ID="/330683.html" Extracted="0780329708" />
<identifier Org="ISBN:1402081405" Paper_ID="/330683.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1579902715" Paper_ID="/330683.html" Extracted="1579902715" DDC="738.6" Normalized_DDC="7386" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540205373" Paper_ID="/330683.html" Extracted="3540205373" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540286209" Paper_ID="/330683.html" Extracted="3540286209" DDC="004.01/512" Normalized_DDC="00401512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354041133X" Paper_ID="/330683.html" Extracted="354041133X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424008" Paper_ID="/330683.html" Extracted="3540424008" DDC="551.6/072" Normalized_DDC="5516072" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540429859" Paper_ID="/330683.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354044310X" Paper_ID="/330683.html" Extracted="354044310X" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540634371" Paper_ID="/330683.html" Extracted="3540634371" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540642994" Paper_ID="/330683.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540657185" Paper_ID="/330683.html" Extracted="3540657185" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540678239" Paper_ID="/330683.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540678972" Paper_ID="/330683.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540686762" Paper_ID="/330683.html" Extracted="3540686762" />
<identifier Org="ISBN:3540705740" Paper_ID="/330683.html" Extracted="3540705740" />
<identifier Org="ISBN:8480213515" Paper_ID="/330683.html" Extracted="8480213515" />
</rec>
<rec ID="/140865.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Department of Computer Science,">
<identifier Org="ISBN:0262181924" Paper_ID="/140865.html" Extracted="0262181924" DDC="401/.9/0285" Normalized_DDC="40190285" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0309047404" Paper_ID="/140865.html" Extracted="0309047404" />
<identifier Org="ISBN:0309090806" Paper_ID="/140865.html" Extracted="0309090806" DDC="629.4/072/073" Normalized_DDC="6294072073" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0521359449" Paper_ID="/140865.html" Extracted="0521359449" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818619821" Paper_ID="/140865.html" Extracted="0818619821" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0824722957" Paper_ID="/140865.html" Extracted="0824722957" />
<identifier Org="ISBN:0824727142" Paper_ID="/140865.html" Extracted="0824727142" />
<identifier Org="ISBN:1591405696" Paper_ID="/140865.html" Extracted="1591405696" DDC="006.7" Normalized_DDC="0067" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:1852336714" Paper_ID="/140865.html" Extracted="1852336714" DDC="572.8/0285/6312" Normalized_DDC="572802856312" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540207694" Paper_ID="/140865.html" Extracted="3540207694" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540230246" Paper_ID="/140865.html" Extracted="3540230246" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540260439" Paper_ID="/140865.html" Extracted="3540260439" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540505172" Paper_ID="/140865.html" Extracted="3540505172" />
<identifier Org="ISBN:354055789X" Paper_ID="/140865.html" Extracted="354055789X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540612289" Paper_ID="/140865.html" Extracted="3540612289" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:8120301455" Paper_ID="/140865.html" Extracted="8120301455" />
</rec>
<rec ID="/36361.html" Type="inproceedings" CiteSeer_Book="Typed Lambda Calculus and Applications" CiteSeer_Volume="" Title="Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi,">
<identifier Org="ISBN:044450396X" Paper_ID="/36361.html" Extracted="044450396X" DDC="512" Normalized_DDC="512" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:1581134150" Paper_ID="/36361.html" Extracted="1581134150" />
<identifier Org="ISBN:3540403329" Paper_ID="/36361.html" Extracted="3540403329" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:354063388X" Paper_ID="/36361.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540645705" Paper_ID="/36361.html" Extracted="3540645705" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540648968" Paper_ID="/36361.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540781269" Paper_ID="/36361.html" Extracted="3540781269" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.16666666666666666" />
</rec>
<rec ID="/98968.html" Type="inproceedings" CiteSeer_Book="COMPASSADT" CiteSeer_Volume="" Title="A View on Implementing Processes: Categories of Circuits,">
<identifier Org="ISBN:3540616292" Paper_ID="/98968.html" Extracted="3540616292" DDC="005.7/3" Normalized_DDC="00573" Normalized_Weight="0.25" />
<identifier Org="ISBN:354063455X" Paper_ID="/98968.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540642994" Paper_ID="/98968.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540662464" Paper_ID="/98968.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
</rec>
<rec ID="/315898.html" Type="article" CiteSeer_Book="RAIRO R A I R O Informatique Theorique et ApplicationsTheoretical Informatics and Applications" CiteSeer_Volume="25" Title="Implementing Term Rewriting by Jungle Evaluation,">
<identifier Org="ISBN:0471935670" Paper_ID="/315898.html" Extracted="0471935670" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540420681" Paper_ID="/315898.html" Extracted="3540420681" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540558446" Paper_ID="/315898.html" Extracted="3540558446" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354055873X" Paper_ID="/315898.html" Extracted="354055873X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540563938" Paper_ID="/315898.html" Extracted="3540563938" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540566104" Paper_ID="/315898.html" Extracted="3540566104" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540568689" Paper_ID="/315898.html" Extracted="3540568689" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540583386" Paper_ID="/315898.html" Extracted="3540583386" DDC="005/.01/51" Normalized_DDC="0050151" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540606181" Paper_ID="/315898.html" Extracted="3540606181" />
<identifier Org="ISBN:3540606491" Paper_ID="/315898.html" Extracted="3540606491" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540634371" Paper_ID="/315898.html" Extracted="3540634371" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354063455X" Paper_ID="/315898.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540705880" Paper_ID="/315898.html" Extracted="3540705880" />
<identifier Org="ISBN:3540708804" Paper_ID="/315898.html" Extracted="3540708804" />
<identifier Org="ISBN:9810240201" Paper_ID="/315898.html" Extracted="9810240201" DDC="511.5" Normalized_DDC="5115" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/513682.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="16" Title="On the Adequacy of Graph Rewriting for Simulating Term Rewriting,">
<identifier Org="ISBN:0262600315" Paper_ID="/513682.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:0471935670" Paper_ID="/513682.html" Extracted="0471935670" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:0521391156" Paper_ID="/513682.html" Extracted="0521391156" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:1595933883" Paper_ID="/513682.html" Extracted="1595933883" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />
<identifier Org="ISBN:354030911X" Paper_ID="/513682.html" Extracted="354030911X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540583386" Paper_ID="/513682.html" Extracted="3540583386" DDC="005/.01/51" Normalized_DDC="0050151" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540617566" Paper_ID="/513682.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540643001" Paper_ID="/513682.html" Extracted="3540643001" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540662464" Paper_ID="/513682.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540874046" Paper_ID="/513682.html" Extracted="3540874046" />
<identifier Org="ISBN:9810240201" Paper_ID="/513682.html" Extracted="9810240201" DDC="511.5" Normalized_DDC="5115" Normalized_Weight="0.1" />
</rec>
<rec ID="/81619.html" Type="incollection" CiteSeer_Book="Handbook of Logic in Computer Science Volumes 1 Background Mathematical Structures and 2 Background Computational Structures Abramsky Gabbay Maibaum Eds Clarendon" CiteSeer_Volume="" Title="Term Rewriting Systems,">
<identifier Org="ISBN:0521391156" Paper_ID="/81619.html" Extracted="0521391156" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521779200" Paper_ID="/81619.html" Extracted="0521779200" />
<identifier Org="ISBN:3540192425" Paper_ID="/81619.html" Extracted="3540192425" />
<identifier Org="ISBN:3540255966" Paper_ID="/81619.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418644" Paper_ID="/81619.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540429573" Paper_ID="/81619.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540510818" Paper_ID="/81619.html" Extracted="3540510818" />
<identifier Org="ISBN:3540539042" Paper_ID="/81619.html" Extracted="3540539042" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540543171" Paper_ID="/81619.html" Extracted="3540543171" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540552510" Paper_ID="/81619.html" Extracted="3540552510" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540563938" Paper_ID="/81619.html" Extracted="3540563938" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354060216X" Paper_ID="/81619.html" Extracted="354060216X" DDC="004/.01/5116" Normalized_DDC="004015116" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540603816" Paper_ID="/81619.html" Extracted="3540603816" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540606491" Paper_ID="/81619.html" Extracted="3540606491" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540612548" Paper_ID="/81619.html" Extracted="3540612548" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540614648" Paper_ID="/81619.html" Extracted="3540614648" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540638768" Paper_ID="/81619.html" Extracted="3540638768" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662014" Paper_ID="/81619.html" Extracted="3540662014" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540705880" Paper_ID="/81619.html" Extracted="3540705880" />
</rec>
<rec ID="/117260.html" Type="inproceedings" CiteSeer_Book="Term Rewriting" CiteSeer_Volume="" Title="Equational Reasoning with 2-Dimensional Diagrams,">
<identifier Org="ISBN:3540593403" Paper_ID="/117260.html" Extracted="3540593403" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540629505" Paper_ID="/117260.html" Extracted="3540629505" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />
<identifier Org="ISBN:354063455X" Paper_ID="/117260.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540642994" Paper_ID="/117260.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540662464" Paper_ID="/117260.html" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
</rec>
<rec ID="/110343.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="156" Title="Bisimilarity of Open Terms,">
<identifier Org="ISBN:0444828303" Paper_ID="/110343.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540241019" Paper_ID="/110343.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.125" />
<identifier Org="ISBN:354025109X" Paper_ID="/110343.html" Extracted="354025109X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540286209" Paper_ID="/110343.html" Extracted="3540286209" DDC="004.01/512" Normalized_DDC="00401512" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540441441" Paper_ID="/110343.html" Extracted="3540441441" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540653880" Paper_ID="/110343.html" Extracted="3540653880" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540678972" Paper_ID="/110343.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540734325" Paper_ID="/110343.html" Extracted="3540734325" DDC="570.15/1" Normalized_DDC="570151" Normalized_Weight="0.125" />
<identifier Org="ISBN:3765720992" Paper_ID="/110343.html" Extracted="3765720992" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories">
<identifier Org="ISBN:142006486X" Paper_ID="SELF" Extracted="142006486X" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540205365" Paper_ID="SELF" Extracted="3540205365" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1" />
<identifier Org="ISBN:354030911X" Paper_ID="SELF" Extracted="354030911X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540333398" Paper_ID="SELF" Extracted="3540333398" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.1" />
<identifier Org="ISBN:354044310X" Paper_ID="SELF" Extracted="354044310X" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540634371" Paper_ID="SELF" Extracted="3540634371" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540642994" Paper_ID="SELF" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540647813" Paper_ID="SELF" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540662464" Paper_ID="SELF" Extracted="3540662464" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540678972" Paper_ID="SELF" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540686762" Paper_ID="SELF" Extracted="3540686762" />
<identifier Org="ISBN:3540738576" Paper_ID="SELF" Extracted="3540738576" />
<identifier Org="ISBN:3540874046" Paper_ID="SELF" Extracted="3540874046" />
</rec>
</references_metadata>