Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079347863> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2079347863 endingPage "435" @default.
- W2079347863 startingPage "419" @default.
- W2079347863 abstract "This paper studies well (quasi) orderings described as rewrite orderings and proposes a new family of well (quasi) orderings that extends the embedding or divisibility order of G. Higman. For instance, the well (quasi) orderings proposed in this paper may contain pairs of the form f ( f ( χ )) > f ( g ( f ( χ ))). Conditions called basicity and projectivity under which the transitive closure of a well-founded rewrite relation is a well-quasi-ordering are given. A tool based on narrowing is proposed for proving projectivity." @default.
- W2079347863 created "2016-06-24" @default.
- W2079347863 creator A5042417161 @default.
- W2079347863 date "1992-11-01" @default.
- W2079347863 modified "2023-10-17" @default.
- W2079347863 title "Well rewrite orderings and well quasi-orderings" @default.
- W2079347863 cites W149109735 @default.
- W2079347863 cites W1513315908 @default.
- W2079347863 cites W1589699265 @default.
- W2079347863 cites W1808872983 @default.
- W2079347863 cites W1984948404 @default.
- W2079347863 cites W1999927144 @default.
- W2079347863 cites W2003562066 @default.
- W2079347863 cites W2004459113 @default.
- W2079347863 cites W2018765574 @default.
- W2079347863 cites W2076508310 @default.
- W2079347863 cites W2076972393 @default.
- W2079347863 cites W2110917011 @default.
- W2079347863 cites W2121757274 @default.
- W2079347863 cites W2138815572 @default.
- W2079347863 cites W2163841074 @default.
- W2079347863 cites W2316437449 @default.
- W2079347863 cites W2749479972 @default.
- W2079347863 cites W2912009403 @default.
- W2079347863 cites W2912818154 @default.
- W2079347863 cites W3022794709 @default.
- W2079347863 cites W397999330 @default.
- W2079347863 doi "https://doi.org/10.1016/0747-7171(92)90015-v" @default.
- W2079347863 hasPublicationYear "1992" @default.
- W2079347863 type Work @default.
- W2079347863 sameAs 2079347863 @default.
- W2079347863 citedByCount "4" @default.
- W2079347863 countsByYear W20793478632015 @default.
- W2079347863 crossrefType "journal-article" @default.
- W2079347863 hasAuthorship W2079347863A5042417161 @default.
- W2079347863 hasBestOaLocation W20793478631 @default.
- W2079347863 hasConcept C114614502 @default.
- W2079347863 hasConcept C118615104 @default.
- W2079347863 hasConcept C136119220 @default.
- W2079347863 hasConcept C202444582 @default.
- W2079347863 hasConcept C33923547 @default.
- W2079347863 hasConcept C94375191 @default.
- W2079347863 hasConceptScore W2079347863C114614502 @default.
- W2079347863 hasConceptScore W2079347863C118615104 @default.
- W2079347863 hasConceptScore W2079347863C136119220 @default.
- W2079347863 hasConceptScore W2079347863C202444582 @default.
- W2079347863 hasConceptScore W2079347863C33923547 @default.
- W2079347863 hasConceptScore W2079347863C94375191 @default.
- W2079347863 hasIssue "5" @default.
- W2079347863 hasLocation W20793478631 @default.
- W2079347863 hasLocation W20793478632 @default.
- W2079347863 hasLocation W20793478633 @default.
- W2079347863 hasOpenAccess W2079347863 @default.
- W2079347863 hasPrimaryLocation W20793478631 @default.
- W2079347863 hasRelatedWork W1978042415 @default.
- W2079347863 hasRelatedWork W2017331178 @default.
- W2079347863 hasRelatedWork W2090649758 @default.
- W2079347863 hasRelatedWork W2135173043 @default.
- W2079347863 hasRelatedWork W2319007069 @default.
- W2079347863 hasRelatedWork W2335699373 @default.
- W2079347863 hasRelatedWork W241866648 @default.
- W2079347863 hasRelatedWork W2976797620 @default.
- W2079347863 hasRelatedWork W3086542228 @default.
- W2079347863 hasRelatedWork W4253321761 @default.
- W2079347863 hasVolume "14" @default.
- W2079347863 isParatext "false" @default.
- W2079347863 isRetracted "false" @default.
- W2079347863 magId "2079347863" @default.
- W2079347863 workType "article" @default.