Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081740901> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2081740901 endingPage "231" @default.
- W2081740901 startingPage "211" @default.
- W2081740901 abstract "In this paper, we consider Abstract Reduction Systems as the setting where we need to investigate order properties of reduction graphs. To this aim, the main tool is the notion of spectrum, which captures some essential features of reduction sequences. We show that each spectrum is a complete partial order with respect to a suitable information ordering. Then we consider linearly ordered spectra. For those of them which are not well-ordered, we obtain a graph-theoretic characterization in terms of forbidden subgraphs. For well-ordered spectra, we show that they can represent all countable successor ordinals. Then, considering constructive ordinals, we address the well-known problem of knowing which ordinals are lambda representable (that is for which ordinal α there exists a lambda term T such that α is isomorphic to the spectrum of T ). We give a partial answer by showing that all successor ordinals a, with α < ε 0 , are lambda-representable." @default.
- W2081740901 created "2016-06-24" @default.
- W2081740901 creator A5038380237 @default.
- W2081740901 creator A5082449905 @default.
- W2081740901 date "1999-02-01" @default.
- W2081740901 modified "2023-09-28" @default.
- W2081740901 title "Orders, reduction graphs and spectra" @default.
- W2081740901 cites W1485248037 @default.
- W2081740901 cites W1560420247 @default.
- W2081740901 cites W1918523847 @default.
- W2081740901 cites W1972289972 @default.
- W2081740901 cites W2012961833 @default.
- W2081740901 cites W2020671663 @default.
- W2081740901 cites W2043705873 @default.
- W2081740901 cites W2058162908 @default.
- W2081740901 cites W2064236106 @default.
- W2081740901 cites W2093397547 @default.
- W2081740901 cites W2095405219 @default.
- W2081740901 cites W2132750992 @default.
- W2081740901 cites W2154273644 @default.
- W2081740901 cites W2158162316 @default.
- W2081740901 cites W2571614197 @default.
- W2081740901 cites W2799004609 @default.
- W2081740901 cites W2912818154 @default.
- W2081740901 cites W4861723 @default.
- W2081740901 doi "https://doi.org/10.1016/s0304-3975(98)00141-8" @default.
- W2081740901 hasPublicationYear "1999" @default.
- W2081740901 type Work @default.
- W2081740901 sameAs 2081740901 @default.
- W2081740901 citedByCount "2" @default.
- W2081740901 crossrefType "journal-article" @default.
- W2081740901 hasAuthorship W2081740901A5038380237 @default.
- W2081740901 hasAuthorship W2081740901A5082449905 @default.
- W2081740901 hasBestOaLocation W20817409011 @default.
- W2081740901 hasConcept C110729354 @default.
- W2081740901 hasConcept C111335779 @default.
- W2081740901 hasConcept C111919701 @default.
- W2081740901 hasConcept C114614502 @default.
- W2081740901 hasConcept C118615104 @default.
- W2081740901 hasConcept C120665830 @default.
- W2081740901 hasConcept C121332964 @default.
- W2081740901 hasConcept C134306372 @default.
- W2081740901 hasConcept C156778621 @default.
- W2081740901 hasConcept C180645754 @default.
- W2081740901 hasConcept C2524010 @default.
- W2081740901 hasConcept C2778113609 @default.
- W2081740901 hasConcept C2778701210 @default.
- W2081740901 hasConcept C33923547 @default.
- W2081740901 hasConcept C41008148 @default.
- W2081740901 hasConcept C62520636 @default.
- W2081740901 hasConcept C75306776 @default.
- W2081740901 hasConcept C98045186 @default.
- W2081740901 hasConceptScore W2081740901C110729354 @default.
- W2081740901 hasConceptScore W2081740901C111335779 @default.
- W2081740901 hasConceptScore W2081740901C111919701 @default.
- W2081740901 hasConceptScore W2081740901C114614502 @default.
- W2081740901 hasConceptScore W2081740901C118615104 @default.
- W2081740901 hasConceptScore W2081740901C120665830 @default.
- W2081740901 hasConceptScore W2081740901C121332964 @default.
- W2081740901 hasConceptScore W2081740901C134306372 @default.
- W2081740901 hasConceptScore W2081740901C156778621 @default.
- W2081740901 hasConceptScore W2081740901C180645754 @default.
- W2081740901 hasConceptScore W2081740901C2524010 @default.
- W2081740901 hasConceptScore W2081740901C2778113609 @default.
- W2081740901 hasConceptScore W2081740901C2778701210 @default.
- W2081740901 hasConceptScore W2081740901C33923547 @default.
- W2081740901 hasConceptScore W2081740901C41008148 @default.
- W2081740901 hasConceptScore W2081740901C62520636 @default.
- W2081740901 hasConceptScore W2081740901C75306776 @default.
- W2081740901 hasConceptScore W2081740901C98045186 @default.
- W2081740901 hasIssue "1-2" @default.
- W2081740901 hasLocation W20817409011 @default.
- W2081740901 hasOpenAccess W2081740901 @default.
- W2081740901 hasPrimaryLocation W20817409011 @default.
- W2081740901 hasRelatedWork W2049332386 @default.
- W2081740901 hasRelatedWork W2078050303 @default.
- W2081740901 hasRelatedWork W2081740901 @default.
- W2081740901 hasRelatedWork W2134071260 @default.
- W2081740901 hasRelatedWork W2219644200 @default.
- W2081740901 hasRelatedWork W2260035625 @default.
- W2081740901 hasRelatedWork W2337591713 @default.
- W2081740901 hasRelatedWork W2793732453 @default.
- W2081740901 hasRelatedWork W2952022865 @default.
- W2081740901 hasRelatedWork W4298354580 @default.
- W2081740901 hasVolume "212" @default.
- W2081740901 isParatext "false" @default.
- W2081740901 isRetracted "false" @default.
- W2081740901 magId "2081740901" @default.
- W2081740901 workType "article" @default.