Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128844988> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2128844988 abstract "The notation and terminology used in this paper are introduced in the following papers: [8], [9], [6], [10], [5], [7], [4], [1], [3], and [2]. We follow the rules: T , T1 will denote trees, P will denote an antichain of prefixes of T , and p, q, r will denote finite sequences of elements of . We now state the proposition (1) For all finite sequences p, q, r, s such that p q = s r holds p and s are comparable. Let us consider T , T1 and let us consider P . Let us assume that P 6= ∅. The functor T (P/T1) yields a tree and is defined as follows: (Def.1) q ∈ T (P/T1) iff q ∈ T and for every p such that p ∈ P holds p q or there exist p, r such that p ∈ P and r ∈ T1 and q = p r. One can prove the following propositions: (2) Suppose P 6= ∅. Then T (P/T1) = {t1 : t1 ranges over elements of T , ∧" @default.
- W2128844988 created "2016-06-24" @default.
- W2128844988 creator A5042545687 @default.
- W2128844988 date "1996-01-01" @default.
- W2128844988 modified "2023-09-27" @default.
- W2128844988 title "Replacement of Subtrees in a Tree" @default.
- W2128844988 cites W1483101703 @default.
- W2128844988 cites W2150348213 @default.
- W2128844988 cites W2965145857 @default.
- W2128844988 hasPublicationYear "1996" @default.
- W2128844988 type Work @default.
- W2128844988 sameAs 2128844988 @default.
- W2128844988 citedByCount "0" @default.
- W2128844988 crossrefType "journal-article" @default.
- W2128844988 hasAuthorship W2128844988A5042545687 @default.
- W2128844988 hasConcept C113174947 @default.
- W2128844988 hasConcept C114614502 @default.
- W2128844988 hasConcept C118615104 @default.
- W2128844988 hasConcept C136134351 @default.
- W2128844988 hasConcept C138885662 @default.
- W2128844988 hasConcept C141603448 @default.
- W2128844988 hasConcept C156772000 @default.
- W2128844988 hasConcept C180645754 @default.
- W2128844988 hasConcept C33923547 @default.
- W2128844988 hasConcept C41895202 @default.
- W2128844988 hasConcept C45357846 @default.
- W2128844988 hasConcept C94375191 @default.
- W2128844988 hasConceptScore W2128844988C113174947 @default.
- W2128844988 hasConceptScore W2128844988C114614502 @default.
- W2128844988 hasConceptScore W2128844988C118615104 @default.
- W2128844988 hasConceptScore W2128844988C136134351 @default.
- W2128844988 hasConceptScore W2128844988C138885662 @default.
- W2128844988 hasConceptScore W2128844988C141603448 @default.
- W2128844988 hasConceptScore W2128844988C156772000 @default.
- W2128844988 hasConceptScore W2128844988C180645754 @default.
- W2128844988 hasConceptScore W2128844988C33923547 @default.
- W2128844988 hasConceptScore W2128844988C41895202 @default.
- W2128844988 hasConceptScore W2128844988C45357846 @default.
- W2128844988 hasConceptScore W2128844988C94375191 @default.
- W2128844988 hasLocation W21288449881 @default.
- W2128844988 hasOpenAccess W2128844988 @default.
- W2128844988 hasPrimaryLocation W21288449881 @default.
- W2128844988 hasRelatedWork W1620909761 @default.
- W2128844988 hasRelatedWork W1975160503 @default.
- W2128844988 hasRelatedWork W1980539088 @default.
- W2128844988 hasRelatedWork W1981611633 @default.
- W2128844988 hasRelatedWork W2042759359 @default.
- W2128844988 hasRelatedWork W2065380024 @default.
- W2128844988 hasRelatedWork W2073466693 @default.
- W2128844988 hasRelatedWork W2139102647 @default.
- W2128844988 hasRelatedWork W2232093783 @default.
- W2128844988 hasRelatedWork W2332937418 @default.
- W2128844988 hasRelatedWork W2483358203 @default.
- W2128844988 hasRelatedWork W2543851741 @default.
- W2128844988 hasRelatedWork W2569886217 @default.
- W2128844988 hasRelatedWork W2952849949 @default.
- W2128844988 hasRelatedWork W2963609848 @default.
- W2128844988 hasRelatedWork W3005897571 @default.
- W2128844988 hasRelatedWork W3098941028 @default.
- W2128844988 hasRelatedWork W3106248230 @default.
- W2128844988 hasRelatedWork W3129621902 @default.
- W2128844988 hasRelatedWork W3141508280 @default.
- W2128844988 isParatext "false" @default.
- W2128844988 isRetracted "false" @default.
- W2128844988 magId "2128844988" @default.
- W2128844988 workType "article" @default.