Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171284891> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2171284891 endingPage "181" @default.
- W2171284891 startingPage "141" @default.
- W2171284891 abstract "The notion of fair derivation in a term-rewriting system is introduced, whereby every rewrite rule enabled infinitely often along a derivation is infinitely-often applied. A term-rewriting system is fairly-terminating iff all its fair derivations are finite. The paper presents the following question: is it decidable, for an arbitrary ground term rewriting system, whether it fairly terminates or not? A positive answer is given for several subcases. The general case remains open." @default.
- W2171284891 created "2016-06-24" @default.
- W2171284891 creator A5034963135 @default.
- W2171284891 creator A5065931607 @default.
- W2171284891 date "1994-02-01" @default.
- W2171284891 modified "2023-09-28" @default.
- W2171284891 title "Fairness in term rewriting systems" @default.
- W2171284891 hasPublicationYear "1994" @default.
- W2171284891 type Work @default.
- W2171284891 sameAs 2171284891 @default.
- W2171284891 citedByCount "0" @default.
- W2171284891 crossrefType "proceedings-article" @default.
- W2171284891 hasAuthorship W2171284891A5034963135 @default.
- W2171284891 hasAuthorship W2171284891A5065931607 @default.
- W2171284891 hasConcept C118615104 @default.
- W2171284891 hasConcept C121332964 @default.
- W2171284891 hasConcept C136119220 @default.
- W2171284891 hasConcept C153269930 @default.
- W2171284891 hasConcept C154690210 @default.
- W2171284891 hasConcept C199360897 @default.
- W2171284891 hasConcept C202444582 @default.
- W2171284891 hasConcept C33923547 @default.
- W2171284891 hasConcept C41008148 @default.
- W2171284891 hasConcept C61797465 @default.
- W2171284891 hasConcept C62520636 @default.
- W2171284891 hasConcept C77906462 @default.
- W2171284891 hasConcept C80444323 @default.
- W2171284891 hasConceptScore W2171284891C118615104 @default.
- W2171284891 hasConceptScore W2171284891C121332964 @default.
- W2171284891 hasConceptScore W2171284891C136119220 @default.
- W2171284891 hasConceptScore W2171284891C153269930 @default.
- W2171284891 hasConceptScore W2171284891C154690210 @default.
- W2171284891 hasConceptScore W2171284891C199360897 @default.
- W2171284891 hasConceptScore W2171284891C202444582 @default.
- W2171284891 hasConceptScore W2171284891C33923547 @default.
- W2171284891 hasConceptScore W2171284891C41008148 @default.
- W2171284891 hasConceptScore W2171284891C61797465 @default.
- W2171284891 hasConceptScore W2171284891C62520636 @default.
- W2171284891 hasConceptScore W2171284891C77906462 @default.
- W2171284891 hasConceptScore W2171284891C80444323 @default.
- W2171284891 hasIssue "2" @default.
- W2171284891 hasLocation W21712848911 @default.
- W2171284891 hasOpenAccess W2171284891 @default.
- W2171284891 hasPrimaryLocation W21712848911 @default.
- W2171284891 hasRelatedWork W1476058999 @default.
- W2171284891 hasRelatedWork W1505655634 @default.
- W2171284891 hasRelatedWork W1541376699 @default.
- W2171284891 hasRelatedWork W1542464114 @default.
- W2171284891 hasRelatedWork W1567354447 @default.
- W2171284891 hasRelatedWork W1569493237 @default.
- W2171284891 hasRelatedWork W1664039672 @default.
- W2171284891 hasRelatedWork W1926073124 @default.
- W2171284891 hasRelatedWork W2053867970 @default.
- W2171284891 hasRelatedWork W2092386169 @default.
- W2171284891 hasRelatedWork W2110001428 @default.
- W2171284891 hasRelatedWork W2122373062 @default.
- W2171284891 hasRelatedWork W2151061627 @default.
- W2171284891 hasRelatedWork W2152494158 @default.
- W2171284891 hasRelatedWork W2178785057 @default.
- W2171284891 hasRelatedWork W2740875086 @default.
- W2171284891 hasRelatedWork W2778934580 @default.
- W2171284891 hasRelatedWork W304101047 @default.
- W2171284891 hasRelatedWork W1812906155 @default.
- W2171284891 hasRelatedWork W2101555938 @default.
- W2171284891 hasVolume "1" @default.
- W2171284891 isParatext "false" @default.
- W2171284891 isRetracted "false" @default.
- W2171284891 magId "2171284891" @default.
- W2171284891 workType "article" @default.