Matches in SemOpenAlex for { <https://semopenalex.org/work/W1858571084> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1858571084 endingPage "94" @default.
- W1858571084 startingPage "83" @default.
- W1858571084 abstract "Term rewriting systems with rules of different priority are introduced. The semantics are explained in detail and several examples are discussed. Note: Partial support received from the European Communities under Esprit contract no. 432, Meteor (An integrated formal approach to industrial software development).KeywordsCritical PairConditional EquationAlgebraic SpecificationInitial AlgebraTerm Rewrite SystemThese 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.
- W1858571084 created "2016-06-24" @default.
- W1858571084 creator A5009512104 @default.
- W1858571084 creator A5013710541 @default.
- W1858571084 creator A5032380170 @default.
- W1858571084 date "1987-01-01" @default.
- W1858571084 modified "2023-09-26" @default.
- W1858571084 title "Term rewriting systems with priorities" @default.
- W1858571084 cites W1517654619 @default.
- W1858571084 cites W1598625331 @default.
- W1858571084 cites W171092496 @default.
- W1858571084 cites W2018227989 @default.
- W1858571084 cites W4238731367 @default.
- W1858571084 cites W4300128858 @default.
- W1858571084 cites W76870825 @default.
- W1858571084 doi "https://doi.org/10.1007/3-540-17220-3_8" @default.
- W1858571084 hasPublicationYear "1987" @default.
- W1858571084 type Work @default.
- W1858571084 sameAs 1858571084 @default.
- W1858571084 citedByCount "13" @default.
- W1858571084 crossrefType "book-chapter" @default.
- W1858571084 hasAuthorship W1858571084A5009512104 @default.
- W1858571084 hasAuthorship W1858571084A5013710541 @default.
- W1858571084 hasAuthorship W1858571084A5032380170 @default.
- W1858571084 hasBestOaLocation W18585710841 @default.
- W1858571084 hasConcept C115903868 @default.
- W1858571084 hasConcept C121332964 @default.
- W1858571084 hasConcept C146499914 @default.
- W1858571084 hasConcept C154690210 @default.
- W1858571084 hasConcept C184337299 @default.
- W1858571084 hasConcept C199360897 @default.
- W1858571084 hasConcept C2777904410 @default.
- W1858571084 hasConcept C41008148 @default.
- W1858571084 hasConcept C61797465 @default.
- W1858571084 hasConcept C62520636 @default.
- W1858571084 hasConcept C77906462 @default.
- W1858571084 hasConceptScore W1858571084C115903868 @default.
- W1858571084 hasConceptScore W1858571084C121332964 @default.
- W1858571084 hasConceptScore W1858571084C146499914 @default.
- W1858571084 hasConceptScore W1858571084C154690210 @default.
- W1858571084 hasConceptScore W1858571084C184337299 @default.
- W1858571084 hasConceptScore W1858571084C199360897 @default.
- W1858571084 hasConceptScore W1858571084C2777904410 @default.
- W1858571084 hasConceptScore W1858571084C41008148 @default.
- W1858571084 hasConceptScore W1858571084C61797465 @default.
- W1858571084 hasConceptScore W1858571084C62520636 @default.
- W1858571084 hasConceptScore W1858571084C77906462 @default.
- W1858571084 hasLocation W18585710841 @default.
- W1858571084 hasLocation W18585710842 @default.
- W1858571084 hasLocation W18585710843 @default.
- W1858571084 hasLocation W18585710844 @default.
- W1858571084 hasLocation W18585710845 @default.
- W1858571084 hasLocation W18585710846 @default.
- W1858571084 hasLocation W18585710847 @default.
- W1858571084 hasOpenAccess W1858571084 @default.
- W1858571084 hasPrimaryLocation W18585710841 @default.
- W1858571084 hasRelatedWork W1539155578 @default.
- W1858571084 hasRelatedWork W1569780408 @default.
- W1858571084 hasRelatedWork W1913268809 @default.
- W1858571084 hasRelatedWork W2030762481 @default.
- W1858571084 hasRelatedWork W2106305471 @default.
- W1858571084 hasRelatedWork W2140308057 @default.
- W1858571084 hasRelatedWork W2153540278 @default.
- W1858571084 hasRelatedWork W2250127276 @default.
- W1858571084 hasRelatedWork W2300079627 @default.
- W1858571084 hasRelatedWork W1744983872 @default.
- W1858571084 isParatext "false" @default.
- W1858571084 isRetracted "false" @default.
- W1858571084 magId "1858571084" @default.
- W1858571084 workType "book-chapter" @default.