Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Set_constraint> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Set_constraint abstract "In mathematics and theoretical computer science, a set constraint is an equation or an inequation between sets of terms.Similar to systems of (in)equations between numbers, methods are studied for solving systems of set constraints. Different approaches admit different operators (like "∪", "∩", "\", and function application) on sets and different (in)equation relations (like "=", "⊆", and "⊈") between set expressions.Systems of set constraints are useful to describe (in particular infinite) sets of ground terms.They arise in program analysis, abstract interpretation, and type inference.".
- Set_constraint thumbnail SetConstraintsAbstractInterpretation_svg.svg?width=300.
- Set_constraint wikiPageExternalLink summary;jsessionid=01CAFC5839497EE6030F707B5B5C9CAA?doi=10.1.1.47.537.
- Set_constraint wikiPageExternalLink download?doi=10.1.1.32.3739&rep=rep1&type=ps.
- Set_constraint wikiPageExternalLink csl93.ps.
- Set_constraint wikiPageExternalLink ic95.ps.
- Set_constraint wikiPageExternalLink unification.ps.Z.
- Set_constraint wikiPageExternalLink lasc.pdf.
- Set_constraint wikiPageID "43536828".
- Set_constraint wikiPageLength "8980".
- Set_constraint wikiPageOutDegree "11".
- Set_constraint wikiPageRevisionID "679245960".
- Set_constraint wikiPageWikiLink Abstract_interpretation.
- Set_constraint wikiPageWikiLink Category:Formal_languages.
- Set_constraint wikiPageWikiLink Equation_solving.
- Set_constraint wikiPageWikiLink Ground_expression.
- Set_constraint wikiPageWikiLink Ground_term.
- Set_constraint wikiPageWikiLink Inequation.
- Set_constraint wikiPageWikiLink Mathematics.
- Set_constraint wikiPageWikiLink Regular_tree_grammar.
- Set_constraint wikiPageWikiLink Term_(logic).
- Set_constraint wikiPageWikiLink Theoretical_computer_science.
- Set_constraint wikiPageWikiLink Tobias_Nipkow.
- Set_constraint wikiPageWikiLink File:SetConstraintsAbstractInterpretation_svg.svg.
- Set_constraint wikiPageWikiLinkText "Set constraint".
- Set_constraint hasPhotoCollection Set_constraint.
- Set_constraint wikiPageUsesTemplate Template:Cite_book.
- Set_constraint wikiPageUsesTemplate Template:Cite_journal.
- Set_constraint wikiPageUsesTemplate Template:Cite_techreport.
- Set_constraint wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- Set_constraint wikiPageUsesTemplate Template:Mathlogic-stub.
- Set_constraint wikiPageUsesTemplate Template:Reflist.
- Set_constraint subject Category:Formal_languages.
- Set_constraint hypernym Equation.
- Set_constraint comment "In mathematics and theoretical computer science, a set constraint is an equation or an inequation between sets of terms.Similar to systems of (in)equations between numbers, methods are studied for solving systems of set constraints.".
- Set_constraint label "Set constraint".
- Set_constraint sameAs m.011l52t4.
- Set_constraint sameAs Q18357189.
- Set_constraint sameAs Q18357189.
- Set_constraint wasDerivedFrom Set_constraint?oldid=679245960.
- Set_constraint depiction SetConstraintsAbstractInterpretation_svg.svg.
- Set_constraint isPrimaryTopicOf Set_constraint.