Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570340440> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1570340440 endingPage "323" @default.
- W1570340440 startingPage "311" @default.
- W1570340440 abstract "The join of two sets of facts, E 1 and E 2, is defined as the set of all facts that are implied independently by both E 1 and E 2. Congruence closure is a widely used representation for sets of equational facts in the theory of uninterpreted function symbols (UFS). We present an optimal join algorithm for special classes of the theory of UFS using the abstract congruence closure framework. Several known join algorithms, which work on a strict subclass, can be cast as specific instantiations of our generic procedure. We demonstrate the limitations of any approach for computing joins that is based on the use of congruence closure. We also mention some interesting open problems in this area." @default.
- W1570340440 created "2016-06-24" @default.
- W1570340440 creator A5011543162 @default.
- W1570340440 creator A5049483484 @default.
- W1570340440 creator A5086308451 @default.
- W1570340440 date "2004-01-01" @default.
- W1570340440 modified "2023-10-16" @default.
- W1570340440 title "Join Algorithms for the Theory of Uninterpreted Functions" @default.
- W1570340440 cites W1495570069 @default.
- W1570340440 cites W1567682528 @default.
- W1570340440 cites W1594713566 @default.
- W1570340440 cites W1963677040 @default.
- W1570340440 cites W1982205631 @default.
- W1570340440 cites W2043100293 @default.
- W1570340440 cites W2053369973 @default.
- W1570340440 cites W2132661148 @default.
- W1570340440 cites W2153131284 @default.
- W1570340440 cites W2161369231 @default.
- W1570340440 cites W2164778826 @default.
- W1570340440 cites W3100198463 @default.
- W1570340440 cites W4235041803 @default.
- W1570340440 cites W4246046884 @default.
- W1570340440 doi "https://doi.org/10.1007/978-3-540-30538-5_26" @default.
- W1570340440 hasPublicationYear "2004" @default.
- W1570340440 type Work @default.
- W1570340440 sameAs 1570340440 @default.
- W1570340440 citedByCount "13" @default.
- W1570340440 countsByYear W15703404402015 @default.
- W1570340440 countsByYear W15703404402017 @default.
- W1570340440 countsByYear W15703404402018 @default.
- W1570340440 countsByYear W15703404402019 @default.
- W1570340440 countsByYear W15703404402023 @default.
- W1570340440 crossrefType "book-chapter" @default.
- W1570340440 hasAuthorship W1570340440A5011543162 @default.
- W1570340440 hasAuthorship W1570340440A5049483484 @default.
- W1570340440 hasAuthorship W1570340440A5086308451 @default.
- W1570340440 hasConcept C11413529 @default.
- W1570340440 hasConcept C114614502 @default.
- W1570340440 hasConcept C118615104 @default.
- W1570340440 hasConcept C128896722 @default.
- W1570340440 hasConcept C132074034 @default.
- W1570340440 hasConcept C146834321 @default.
- W1570340440 hasConcept C162324750 @default.
- W1570340440 hasConcept C193702766 @default.
- W1570340440 hasConcept C199360897 @default.
- W1570340440 hasConcept C2524010 @default.
- W1570340440 hasConcept C2776124973 @default.
- W1570340440 hasConcept C2778692605 @default.
- W1570340440 hasConcept C33923547 @default.
- W1570340440 hasConcept C34447519 @default.
- W1570340440 hasConcept C41008148 @default.
- W1570340440 hasConcept C80444323 @default.
- W1570340440 hasConceptScore W1570340440C11413529 @default.
- W1570340440 hasConceptScore W1570340440C114614502 @default.
- W1570340440 hasConceptScore W1570340440C118615104 @default.
- W1570340440 hasConceptScore W1570340440C128896722 @default.
- W1570340440 hasConceptScore W1570340440C132074034 @default.
- W1570340440 hasConceptScore W1570340440C146834321 @default.
- W1570340440 hasConceptScore W1570340440C162324750 @default.
- W1570340440 hasConceptScore W1570340440C193702766 @default.
- W1570340440 hasConceptScore W1570340440C199360897 @default.
- W1570340440 hasConceptScore W1570340440C2524010 @default.
- W1570340440 hasConceptScore W1570340440C2776124973 @default.
- W1570340440 hasConceptScore W1570340440C2778692605 @default.
- W1570340440 hasConceptScore W1570340440C33923547 @default.
- W1570340440 hasConceptScore W1570340440C34447519 @default.
- W1570340440 hasConceptScore W1570340440C41008148 @default.
- W1570340440 hasConceptScore W1570340440C80444323 @default.
- W1570340440 hasLocation W15703404401 @default.
- W1570340440 hasOpenAccess W1570340440 @default.
- W1570340440 hasPrimaryLocation W15703404401 @default.
- W1570340440 hasRelatedWork W1548215338 @default.
- W1570340440 hasRelatedWork W1570340440 @default.
- W1570340440 hasRelatedWork W2134491188 @default.
- W1570340440 hasRelatedWork W2375463958 @default.
- W1570340440 hasRelatedWork W2949324212 @default.
- W1570340440 hasRelatedWork W2962679183 @default.
- W1570340440 hasRelatedWork W2962876128 @default.
- W1570340440 hasRelatedWork W90346837 @default.
- W1570340440 hasRelatedWork W2171420765 @default.
- W1570340440 hasRelatedWork W2793212569 @default.
- W1570340440 isParatext "false" @default.
- W1570340440 isRetracted "false" @default.
- W1570340440 magId "1570340440" @default.
- W1570340440 workType "book-chapter" @default.