Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567371806> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1567371806 endingPage "423" @default.
- W1567371806 startingPage "408" @default.
- W1567371806 abstract "A framework for rewriting with membership, equality, and inequality constraints is presented. A ground completion procedure is described which modifies the standard critical pair lemma. One consequence is the desire to rewrite terms in a set represented by a grammar, which leads to strong requirements on the conditional rules. Examples of the use of a completed constrained term rewriting system are presented, including an instance of an inductive theorem." @default.
- W1567371806 created "2016-06-24" @default.
- W1567371806 creator A5026716324 @default.
- W1567371806 date "1993-01-01" @default.
- W1567371806 modified "2023-09-27" @default.
- W1567371806 title "Completion for constrained term rewriting systems" @default.
- W1567371806 cites W1503204116 @default.
- W1567371806 cites W1547751563 @default.
- W1567371806 cites W1565192554 @default.
- W1567371806 cites W1970861542 @default.
- W1567371806 cites W2033074970 @default.
- W1567371806 cites W2062341323 @default.
- W1567371806 cites W2065333363 @default.
- W1567371806 cites W2073663206 @default.
- W1567371806 cites W2120204135 @default.
- W1567371806 doi "https://doi.org/10.1007/3-540-56393-8_31" @default.
- W1567371806 hasPublicationYear "1993" @default.
- W1567371806 type Work @default.
- W1567371806 sameAs 1567371806 @default.
- W1567371806 citedByCount "2" @default.
- W1567371806 crossrefType "book-chapter" @default.
- W1567371806 hasAuthorship W1567371806A5026716324 @default.
- W1567371806 hasConcept C11413529 @default.
- W1567371806 hasConcept C121332964 @default.
- W1567371806 hasConcept C136119220 @default.
- W1567371806 hasConcept C154690210 @default.
- W1567371806 hasConcept C177264268 @default.
- W1567371806 hasConcept C18903297 @default.
- W1567371806 hasConcept C199343813 @default.
- W1567371806 hasConcept C199360897 @default.
- W1567371806 hasConcept C202444582 @default.
- W1567371806 hasConcept C2777686260 @default.
- W1567371806 hasConcept C2777759810 @default.
- W1567371806 hasConcept C33923547 @default.
- W1567371806 hasConcept C41008148 @default.
- W1567371806 hasConcept C46757340 @default.
- W1567371806 hasConcept C61797465 @default.
- W1567371806 hasConcept C62520636 @default.
- W1567371806 hasConcept C71924100 @default.
- W1567371806 hasConcept C77906462 @default.
- W1567371806 hasConcept C80444323 @default.
- W1567371806 hasConcept C86803240 @default.
- W1567371806 hasConceptScore W1567371806C11413529 @default.
- W1567371806 hasConceptScore W1567371806C121332964 @default.
- W1567371806 hasConceptScore W1567371806C136119220 @default.
- W1567371806 hasConceptScore W1567371806C154690210 @default.
- W1567371806 hasConceptScore W1567371806C177264268 @default.
- W1567371806 hasConceptScore W1567371806C18903297 @default.
- W1567371806 hasConceptScore W1567371806C199343813 @default.
- W1567371806 hasConceptScore W1567371806C199360897 @default.
- W1567371806 hasConceptScore W1567371806C202444582 @default.
- W1567371806 hasConceptScore W1567371806C2777686260 @default.
- W1567371806 hasConceptScore W1567371806C2777759810 @default.
- W1567371806 hasConceptScore W1567371806C33923547 @default.
- W1567371806 hasConceptScore W1567371806C41008148 @default.
- W1567371806 hasConceptScore W1567371806C46757340 @default.
- W1567371806 hasConceptScore W1567371806C61797465 @default.
- W1567371806 hasConceptScore W1567371806C62520636 @default.
- W1567371806 hasConceptScore W1567371806C71924100 @default.
- W1567371806 hasConceptScore W1567371806C77906462 @default.
- W1567371806 hasConceptScore W1567371806C80444323 @default.
- W1567371806 hasConceptScore W1567371806C86803240 @default.
- W1567371806 hasLocation W15673718061 @default.
- W1567371806 hasOpenAccess W1567371806 @default.
- W1567371806 hasPrimaryLocation W15673718061 @default.
- W1567371806 hasRelatedWork W1488213278 @default.
- W1567371806 hasRelatedWork W1504627810 @default.
- W1567371806 hasRelatedWork W1515515243 @default.
- W1567371806 hasRelatedWork W1524769734 @default.
- W1567371806 hasRelatedWork W1537275197 @default.
- W1567371806 hasRelatedWork W1563061915 @default.
- W1567371806 hasRelatedWork W1582807178 @default.
- W1567371806 hasRelatedWork W1587784857 @default.
- W1567371806 hasRelatedWork W1608673155 @default.
- W1567371806 hasRelatedWork W2078372985 @default.
- W1567371806 hasRelatedWork W2124304012 @default.
- W1567371806 hasRelatedWork W2336710213 @default.
- W1567371806 hasRelatedWork W2579527231 @default.
- W1567371806 hasRelatedWork W2585889437 @default.
- W1567371806 hasRelatedWork W2756087029 @default.
- W1567371806 hasRelatedWork W2916457101 @default.
- W1567371806 hasRelatedWork W598205067 @default.
- W1567371806 hasRelatedWork W59995887 @default.
- W1567371806 hasRelatedWork W196228514 @default.
- W1567371806 hasRelatedWork W2157264760 @default.
- W1567371806 isParatext "false" @default.
- W1567371806 isRetracted "false" @default.
- W1567371806 magId "1567371806" @default.
- W1567371806 workType "book-chapter" @default.