Matches in SemOpenAlex for { <https://semopenalex.org/work/W1523116568> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1523116568 endingPage "158" @default.
- W1523116568 startingPage "144" @default.
- W1523116568 abstract "For efficiency reasons, term rewriting is usually implemented by graph rewriting. It is known that graph rewriting is a sound and complete implementation of (almost) orthogonal term rewriting systems; see [BEG+87]. In this paper, we extend the result to properly oriented orthogonal conditional systems with strict equality. In these systems extra variables are allowed in conditions and right-hand sides of rules.KeywordsNormal FormInductive HypothesisLogic ProgrammingExtra VariableStrict EqualityThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1523116568 created "2016-06-24" @default.
- W1523116568 creator A5090763399 @default.
- W1523116568 date "1997-01-01" @default.
- W1523116568 modified "2023-09-23" @default.
- W1523116568 title "Conditional term graph rewriting" @default.
- W1523116568 cites W1494825669 @default.
- W1523116568 cites W1557619244 @default.
- W1523116568 cites W2031825596 @default.
- W1523116568 cites W2059799630 @default.
- W1523116568 cites W2078372985 @default.
- W1523116568 cites W2087389137 @default.
- W1523116568 cites W2167316540 @default.
- W1523116568 cites W3022794709 @default.
- W1523116568 cites W88748147 @default.
- W1523116568 doi "https://doi.org/10.1007/bfb0027008" @default.
- W1523116568 hasPublicationYear "1997" @default.
- W1523116568 type Work @default.
- W1523116568 sameAs 1523116568 @default.
- W1523116568 citedByCount "2" @default.
- W1523116568 crossrefType "book-chapter" @default.
- W1523116568 hasAuthorship W1523116568A5090763399 @default.
- W1523116568 hasConcept C121332964 @default.
- W1523116568 hasConcept C132525143 @default.
- W1523116568 hasConcept C154690210 @default.
- W1523116568 hasConcept C199360897 @default.
- W1523116568 hasConcept C41008148 @default.
- W1523116568 hasConcept C558772884 @default.
- W1523116568 hasConcept C61797465 @default.
- W1523116568 hasConcept C62520636 @default.
- W1523116568 hasConcept C77906462 @default.
- W1523116568 hasConcept C80444323 @default.
- W1523116568 hasConceptScore W1523116568C121332964 @default.
- W1523116568 hasConceptScore W1523116568C132525143 @default.
- W1523116568 hasConceptScore W1523116568C154690210 @default.
- W1523116568 hasConceptScore W1523116568C199360897 @default.
- W1523116568 hasConceptScore W1523116568C41008148 @default.
- W1523116568 hasConceptScore W1523116568C558772884 @default.
- W1523116568 hasConceptScore W1523116568C61797465 @default.
- W1523116568 hasConceptScore W1523116568C62520636 @default.
- W1523116568 hasConceptScore W1523116568C77906462 @default.
- W1523116568 hasConceptScore W1523116568C80444323 @default.
- W1523116568 hasLocation W15231165681 @default.
- W1523116568 hasOpenAccess W1523116568 @default.
- W1523116568 hasPrimaryLocation W15231165681 @default.
- W1523116568 hasRelatedWork W1503351662 @default.
- W1523116568 hasRelatedWork W1533534652 @default.
- W1523116568 hasRelatedWork W1540719552 @default.
- W1523116568 hasRelatedWork W1552844739 @default.
- W1523116568 hasRelatedWork W1581739647 @default.
- W1523116568 hasRelatedWork W1778517814 @default.
- W1523116568 hasRelatedWork W1817143187 @default.
- W1523116568 hasRelatedWork W1926073124 @default.
- W1523116568 hasRelatedWork W1971749487 @default.
- W1523116568 hasRelatedWork W1983495369 @default.
- W1523116568 hasRelatedWork W2020938469 @default.
- W1523116568 hasRelatedWork W2025108869 @default.
- W1523116568 hasRelatedWork W2028839129 @default.
- W1523116568 hasRelatedWork W2048022954 @default.
- W1523116568 hasRelatedWork W2055002795 @default.
- W1523116568 hasRelatedWork W2067471381 @default.
- W1523116568 hasRelatedWork W2084833937 @default.
- W1523116568 hasRelatedWork W2152494158 @default.
- W1523116568 hasRelatedWork W2161662583 @default.
- W1523116568 hasRelatedWork W2475418661 @default.
- W1523116568 isParatext "false" @default.
- W1523116568 isRetracted "false" @default.
- W1523116568 magId "1523116568" @default.
- W1523116568 workType "book-chapter" @default.