Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 8

Title: Logical Aspects of Set Constraints

Author:

Subject: Dexter Kozen Logical Aspects of Set Constraints

Description: . Set constraints are inclusion relations between sets of ground terms over a ranked alphabet. They have been used extensively in program analysis and type inference. Here we present an equational axiomatization of the algebra of set constraints. Models of these axioms are called termset algebras. They are related to the Boolean algebras with operators of J'onsson and Tarski. We also define a family of combinatorial models called topological term automata, which are essentially the term automata studied by Kozen, Palsberg, and Schwartzbach endowed with a topology such that all relevant operations are continuous. These models are similar to Kripke frames for modal or dynamic logic. We establish a Stone duality between termset algebras and topological term automata, and use this to derive a completeness theorem for a related multidimensional modal logic. Finally, we prove a small model property by filtration, and argue that this result contains the essence of several algorithms appearing...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-10-11

Pubyear: 1993

Format: ps

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

Source: http://www.cs.cornell.edu/kozen/papers/lasc.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/181880.html"   Type="inproceedings"   CiteSeer_Book="CSL"   CiteSeer_Volume=""   Title="The   Complexity   of   Set   Constraints,">

            <identifier   Org="ISBN:0262600315"   Paper_ID="/181880.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/181880.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/181880.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/181880.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/181880.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/181880.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540265465"   Paper_ID="/181880.html"   Extracted="3540265465"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540341668"   Paper_ID="/181880.html"   Extracted="3540341668"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/181880.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/181880.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/181880.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540593403"   Paper_ID="/181880.html"   Extracted="3540593403"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/181880.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540615113"   Paper_ID="/181880.html"   Extracted="3540615113"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540713891"   Paper_ID="/181880.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540732071"   Paper_ID="/181880.html"   Extracted="3540732071"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/503579.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="122"   Title="Decidability   of   Systems   of   Set   Constraints   with   Negative   Constraints,">

            <identifier   Org="ISBN:0780336542"   Paper_ID="/503579.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/503579.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/503579.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/503579.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439161"   Paper_ID="/503579.html"   Extracted="3540439161"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/503579.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540584854"   Paper_ID="/503579.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/503579.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540614400"   Paper_ID="/503579.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/503579.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/503579.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="/503579.html"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540857796"   Paper_ID="/503579.html"   Extracted="3540857796"   />

      </rec>

      <rec   ID="/98298.html"   Type="inproceedings"   CiteSeer_Book="5th   ACM   Conference   on   Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="{Implementing   Regular   Tree   Expressions},">

            <identifier   Org="ISBN:0818631406"   Paper_ID="/98298.html"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/98298.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/98298.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0897915941"   Paper_ID="/98298.html"   Extracted="0897915941"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/98298.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540441859"   Paper_ID="/98298.html"   Extracted="3540441859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540543961"   Paper_ID="/98298.html"   Extracted="3540543961"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/98298.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540600442"   Paper_ID="/98298.html"   Extracted="3540600442"   DDC="006.4"   Normalized_DDC="0064"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/98298.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/98298.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540662014"   Paper_ID="/98298.html"   Extracted="3540662014"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540677976"   Paper_ID="/98298.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/301796.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="15"   Title="Subtyping   Recursive   Types,">

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

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

            <identifier   Org="ISBN:158488360X"   Paper_ID="/301796.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540283722"   Paper_ID="/301796.html"   Extracted="3540283722"   />

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

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

            <identifier   Org="ISBN:354043366X"   Paper_ID="/301796.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540614400"   Paper_ID="/301796.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:354063388X"   Paper_ID="/301796.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540665366"   Paper_ID="/301796.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679340"   Paper_ID="/301796.html"   Extracted="3540679340"   DDC="346/.092"   Normalized_DDC="346092"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/380528.html"   Type="inproceedings"   CiteSeer_Book="Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="Set   Constraints   are   the   Monadic   Class,">

            <identifier   Org="ISBN:0262600315"   Paper_ID="/380528.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/380528.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818631406"   Paper_ID="/380528.html"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/380528.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/380528.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/380528.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/380528.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540419500"   Paper_ID="/380528.html"   Extracted="3540419500"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/380528.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/380528.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/380528.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/380528.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540614400"   Paper_ID="/380528.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/380528.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/380528.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/380528.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/9082.html"   Type="inproceedings"   CiteSeer_Book="Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="Negative   Set   Constraints   with   Equality,">

            <identifier   Org="ISBN:0818663103"   Paper_ID="/9082.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/9082.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/9082.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/9082.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540439161"   Paper_ID="/9082.html"   Extracted="3540439161"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/9082.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

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

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

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

            <identifier   Org="ISBN:3540614400"   Paper_ID="/9082.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/9082.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="/9082.html"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/9082.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="/9082.html"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/215202.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   Symposium   on   Logic   in   Computer   Science   Philadelphia   PA"   CiteSeer_Volume=""   Title="A   Decision   Procedure   for   a   Class   of   Set   Constraints,">

            <identifier   Org="ISBN:0780336542"   Paper_ID="/215202.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818620730"   Paper_ID="/215202.html"   Extracted="0818620730"   />

            <identifier   Org="ISBN:0818631406"   Paper_ID="/215202.html"   Extracted="0818631406"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/215202.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818665823"   Paper_ID="/215202.html"   Extracted="0818665823"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/215202.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354042251X"   Paper_ID="/215202.html"   Extracted="354042251X"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/215202.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/215202.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/215202.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/215202.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/215202.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540614400"   Paper_ID="/215202.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/215202.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540656995"   Paper_ID="/215202.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540787682"   Paper_ID="/215202.html"   Extracted="3540787682"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/52363.html"   Type="inproceedings"   CiteSeer_Book="IEEE   Symposium   on   Foundations   of   Computer   Science"   CiteSeer_Volume=""   Title="Efficient   Inference   of   Partial   Types,">

            <identifier   Org="ISBN:047194128X"   Paper_ID="/52363.html"   Extracted="047194128X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/52363.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/52363.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:3540254358"   Paper_ID="/52363.html"   Extracted="3540254358"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354025630X"   Paper_ID="/52363.html"   Extracted="354025630X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540426728"   Paper_ID="/52363.html"   Extracted="3540426728"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540566104"   Paper_ID="/52363.html"   Extracted="3540566104"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540571825"   Paper_ID="/52363.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540603603"   Paper_ID="/52363.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/52363.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540659226"   Paper_ID="/52363.html"   Extracted="3540659226"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/52363.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Logical   Aspects   of   Set   Constraints">

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

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

            <identifier   Org="ISBN:0818679263"   Paper_ID="SELF"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402007175"   Paper_ID="SELF"   Extracted="1402007175"   DDC="016.512/4"   Normalized_DDC="0165124"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="SELF"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354058403X"   Paper_ID="SELF"   Extracted="354058403X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540614400"   Paper_ID="SELF"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="SELF"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540637532"   Paper_ID="SELF"   Extracted="3540637532"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354064301X"   Paper_ID="SELF"   Extracted="354064301X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

      </rec>

</references_metadata>

www.000webhost.com