Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567682528> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1567682528 endingPage "37" @default.
- W1567682528 startingPage "23" @default.
- W1567682528 abstract "Shostak's congruence closure algorithm is demystified, using the framework of ground completion on (possibly nonterminating, non-reduced) rewrite rules. In particular, the canonical rewriting relation induced by the algorithm on ground terms by a given set of ground equations is precisely constructed. The main idea is to extend the signature of the original input to include new constant symbols for nonconstant subterms appearing in the input. A byproduct of this approach is (i) an algorithm for associating a confluent rewriting system with possibly nonterminating ground rewrite rules, and (ii) a new quadratic algorithm for computing a canonical rewriting system from ground equations." @default.
- W1567682528 created "2016-06-24" @default.
- W1567682528 creator A5003856856 @default.
- W1567682528 date "1997-01-01" @default.
- W1567682528 modified "2023-09-27" @default.
- W1567682528 title "Shostak's congruence closure as completion" @default.
- W1567682528 cites W1546619436 @default.
- W1567682528 cites W1566515619 @default.
- W1567682528 cites W2000346568 @default.
- W1567682528 cites W2006104711 @default.
- W1567682528 cites W2030670832 @default.
- W1567682528 cites W2036915776 @default.
- W1567682528 cites W2037163667 @default.
- W1567682528 cites W2048280348 @default.
- W1567682528 cites W2088725049 @default.
- W1567682528 cites W2138090187 @default.
- W1567682528 cites W2153131284 @default.
- W1567682528 cites W2164778826 @default.
- W1567682528 cites W2168218427 @default.
- W1567682528 cites W2507006525 @default.
- W1567682528 doi "https://doi.org/10.1007/3-540-62950-5_59" @default.
- W1567682528 hasPublicationYear "1997" @default.
- W1567682528 type Work @default.
- W1567682528 sameAs 1567682528 @default.
- W1567682528 citedByCount "56" @default.
- W1567682528 countsByYear W15676825282012 @default.
- W1567682528 countsByYear W15676825282013 @default.
- W1567682528 countsByYear W15676825282016 @default.
- W1567682528 countsByYear W15676825282017 @default.
- W1567682528 countsByYear W15676825282018 @default.
- W1567682528 countsByYear W15676825282019 @default.
- W1567682528 countsByYear W15676825282020 @default.
- W1567682528 countsByYear W15676825282021 @default.
- W1567682528 countsByYear W15676825282022 @default.
- W1567682528 countsByYear W15676825282023 @default.
- W1567682528 crossrefType "book-chapter" @default.
- W1567682528 hasAuthorship W1567682528A5003856856 @default.
- W1567682528 hasConcept C132074034 @default.
- W1567682528 hasConcept C146834321 @default.
- W1567682528 hasConcept C17744445 @default.
- W1567682528 hasConcept C199539241 @default.
- W1567682528 hasConcept C2524010 @default.
- W1567682528 hasConcept C33923547 @default.
- W1567682528 hasConcept C41008148 @default.
- W1567682528 hasConcept C80444323 @default.
- W1567682528 hasConceptScore W1567682528C132074034 @default.
- W1567682528 hasConceptScore W1567682528C146834321 @default.
- W1567682528 hasConceptScore W1567682528C17744445 @default.
- W1567682528 hasConceptScore W1567682528C199539241 @default.
- W1567682528 hasConceptScore W1567682528C2524010 @default.
- W1567682528 hasConceptScore W1567682528C33923547 @default.
- W1567682528 hasConceptScore W1567682528C41008148 @default.
- W1567682528 hasConceptScore W1567682528C80444323 @default.
- W1567682528 hasLocation W15676825281 @default.
- W1567682528 hasOpenAccess W1567682528 @default.
- W1567682528 hasPrimaryLocation W15676825281 @default.
- W1567682528 hasRelatedWork W1548215338 @default.
- W1567682528 hasRelatedWork W1576312065 @default.
- W1567682528 hasRelatedWork W172681772 @default.
- W1567682528 hasRelatedWork W2108583487 @default.
- W1567682528 hasRelatedWork W2162510824 @default.
- W1567682528 hasRelatedWork W2191845044 @default.
- W1567682528 hasRelatedWork W2392953011 @default.
- W1567682528 hasRelatedWork W3202229940 @default.
- W1567682528 hasRelatedWork W36236346 @default.
- W1567682528 hasRelatedWork W86146610 @default.
- W1567682528 isParatext "false" @default.
- W1567682528 isRetracted "false" @default.
- W1567682528 magId "1567682528" @default.
- W1567682528 workType "book-chapter" @default.