Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500649746> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1500649746 endingPage "862" @default.
- W1500649746 startingPage "857" @default.
- W1500649746 abstract "This paper investigates the semantics of conditional term rewriting systems with negation, which may not satisfy desirable properties like termination. It is shown that the approach used by Fitting [5] for Prolog-style logic programs is applicable in this context. A monotone operator is developed, whose fixpoints describe the semantics of conditional rewriting. Several examples illustrate this semantics for non-terminating rewrite systems which could not be easily handled by previous approaches." @default.
- W1500649746 created "2016-06-24" @default.
- W1500649746 creator A5051923415 @default.
- W1500649746 date "1991-08-24" @default.
- W1500649746 modified "2023-09-28" @default.
- W1500649746 title "Fitting semantics for conditional term rewriting" @default.
- W1500649746 cites W1483568252 @default.
- W1500649746 cites W1486424527 @default.
- W1500649746 cites W1578088218 @default.
- W1500649746 cites W1594729984 @default.
- W1500649746 cites W1766332311 @default.
- W1500649746 cites W1977815811 @default.
- W1500649746 cites W1984059530 @default.
- W1500649746 cites W2003531456 @default.
- W1500649746 cites W2046213250 @default.
- W1500649746 cites W2056546032 @default.
- W1500649746 cites W2056716318 @default.
- W1500649746 cites W2143382644 @default.
- W1500649746 cites W2912818154 @default.
- W1500649746 cites W46517763 @default.
- W1500649746 hasPublicationYear "1991" @default.
- W1500649746 type Work @default.
- W1500649746 sameAs 1500649746 @default.
- W1500649746 citedByCount "0" @default.
- W1500649746 crossrefType "proceedings-article" @default.
- W1500649746 hasAuthorship W1500649746A5051923415 @default.
- W1500649746 hasConcept C104317684 @default.
- W1500649746 hasConcept C121332964 @default.
- W1500649746 hasConcept C128838566 @default.
- W1500649746 hasConcept C151730666 @default.
- W1500649746 hasConcept C154690210 @default.
- W1500649746 hasConcept C156325763 @default.
- W1500649746 hasConcept C158448853 @default.
- W1500649746 hasConcept C17020691 @default.
- W1500649746 hasConcept C184337299 @default.
- W1500649746 hasConcept C185592680 @default.
- W1500649746 hasConcept C199360897 @default.
- W1500649746 hasConcept C2185349 @default.
- W1500649746 hasConcept C2779343474 @default.
- W1500649746 hasConcept C41008148 @default.
- W1500649746 hasConcept C55493867 @default.
- W1500649746 hasConcept C61797465 @default.
- W1500649746 hasConcept C62520636 @default.
- W1500649746 hasConcept C80444323 @default.
- W1500649746 hasConcept C81721847 @default.
- W1500649746 hasConcept C86339819 @default.
- W1500649746 hasConcept C86803240 @default.
- W1500649746 hasConceptScore W1500649746C104317684 @default.
- W1500649746 hasConceptScore W1500649746C121332964 @default.
- W1500649746 hasConceptScore W1500649746C128838566 @default.
- W1500649746 hasConceptScore W1500649746C151730666 @default.
- W1500649746 hasConceptScore W1500649746C154690210 @default.
- W1500649746 hasConceptScore W1500649746C156325763 @default.
- W1500649746 hasConceptScore W1500649746C158448853 @default.
- W1500649746 hasConceptScore W1500649746C17020691 @default.
- W1500649746 hasConceptScore W1500649746C184337299 @default.
- W1500649746 hasConceptScore W1500649746C185592680 @default.
- W1500649746 hasConceptScore W1500649746C199360897 @default.
- W1500649746 hasConceptScore W1500649746C2185349 @default.
- W1500649746 hasConceptScore W1500649746C2779343474 @default.
- W1500649746 hasConceptScore W1500649746C41008148 @default.
- W1500649746 hasConceptScore W1500649746C55493867 @default.
- W1500649746 hasConceptScore W1500649746C61797465 @default.
- W1500649746 hasConceptScore W1500649746C62520636 @default.
- W1500649746 hasConceptScore W1500649746C80444323 @default.
- W1500649746 hasConceptScore W1500649746C81721847 @default.
- W1500649746 hasConceptScore W1500649746C86339819 @default.
- W1500649746 hasConceptScore W1500649746C86803240 @default.
- W1500649746 hasLocation W15006497461 @default.
- W1500649746 hasOpenAccess W1500649746 @default.
- W1500649746 hasPrimaryLocation W15006497461 @default.
- W1500649746 hasRelatedWork W1485410855 @default.
- W1500649746 hasRelatedWork W1533534652 @default.
- W1500649746 hasRelatedWork W1542881312 @default.
- W1500649746 hasRelatedWork W1559211365 @default.
- W1500649746 hasRelatedWork W1567063112 @default.
- W1500649746 hasRelatedWork W1567354447 @default.
- W1500649746 hasRelatedWork W1570481988 @default.
- W1500649746 hasRelatedWork W1581739647 @default.
- W1500649746 hasRelatedWork W1590056785 @default.
- W1500649746 hasRelatedWork W1872879644 @default.
- W1500649746 hasRelatedWork W1919615793 @default.
- W1500649746 hasRelatedWork W1971749487 @default.
- W1500649746 hasRelatedWork W2016262003 @default.
- W1500649746 hasRelatedWork W2039203973 @default.
- W1500649746 hasRelatedWork W2053867970 @default.
- W1500649746 hasRelatedWork W2089309203 @default.
- W1500649746 hasRelatedWork W2135341602 @default.
- W1500649746 hasRelatedWork W2154580607 @default.
- W1500649746 hasRelatedWork W2740875086 @default.
- W1500649746 hasRelatedWork W2577389528 @default.
- W1500649746 isParatext "false" @default.
- W1500649746 isRetracted "false" @default.
- W1500649746 magId "1500649746" @default.
- W1500649746 workType "article" @default.