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>