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

Graph

<?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>

www.000webhost.com