Matches in SemOpenAlex for { <https://semopenalex.org/work/W2082477520> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2082477520 endingPage "255" @default.
- W2082477520 startingPage "225" @default.
- W2082477520 abstract "A system Σ of recursion equations is a finite set of equations ϕ i = t i i = 1,…, n , where the expressions ti denote terms built from individual variables, “function constants,” and the “function variables” ϕ 1 ,…, ϕ n . An interpretation of such a system assigns a meaning to each function constant and a possible meaning to each individual and function variable. Standard interpretations have imposed an ordering on the class of possible “solutions” of Σ and only the least (or greatest) solution is found. In this paper contraction theories are defined and used as interpretations for Σ. Several known kinds of interpretations are shown to be contraction theories, including the collection of rooted labeled trees. No ordering is imposed on solutions in a contraction theory, but a metric is involved. All solutions of Σ in any contraction theory are described." @default.
- W2082477520 created "2016-06-24" @default.
- W2082477520 creator A5050710436 @default.
- W2082477520 date "1983-10-01" @default.
- W2082477520 modified "2023-09-27" @default.
- W2082477520 title "All solutions of a system of recursion equations in infinite trees and other contraction theories" @default.
- W2082477520 cites W1979473531 @default.
- W2082477520 cites W2078866770 @default.
- W2082477520 cites W4206269206 @default.
- W2082477520 cites W4210249530 @default.
- W2082477520 cites W4212777788 @default.
- W2082477520 doi "https://doi.org/10.1016/0022-0000(83)90041-7" @default.
- W2082477520 hasPublicationYear "1983" @default.
- W2082477520 type Work @default.
- W2082477520 sameAs 2082477520 @default.
- W2082477520 citedByCount "17" @default.
- W2082477520 crossrefType "journal-article" @default.
- W2082477520 hasAuthorship W2082477520A5050710436 @default.
- W2082477520 hasBestOaLocation W20824775201 @default.
- W2082477520 hasConcept C11413529 @default.
- W2082477520 hasConcept C118615104 @default.
- W2082477520 hasConcept C126322002 @default.
- W2082477520 hasConcept C134306372 @default.
- W2082477520 hasConcept C14036430 @default.
- W2082477520 hasConcept C163415756 @default.
- W2082477520 hasConcept C168773036 @default.
- W2082477520 hasConcept C198043062 @default.
- W2082477520 hasConcept C202444582 @default.
- W2082477520 hasConcept C33923547 @default.
- W2082477520 hasConcept C55524764 @default.
- W2082477520 hasConcept C71924100 @default.
- W2082477520 hasConcept C78458016 @default.
- W2082477520 hasConcept C86803240 @default.
- W2082477520 hasConceptScore W2082477520C11413529 @default.
- W2082477520 hasConceptScore W2082477520C118615104 @default.
- W2082477520 hasConceptScore W2082477520C126322002 @default.
- W2082477520 hasConceptScore W2082477520C134306372 @default.
- W2082477520 hasConceptScore W2082477520C14036430 @default.
- W2082477520 hasConceptScore W2082477520C163415756 @default.
- W2082477520 hasConceptScore W2082477520C168773036 @default.
- W2082477520 hasConceptScore W2082477520C198043062 @default.
- W2082477520 hasConceptScore W2082477520C202444582 @default.
- W2082477520 hasConceptScore W2082477520C33923547 @default.
- W2082477520 hasConceptScore W2082477520C55524764 @default.
- W2082477520 hasConceptScore W2082477520C71924100 @default.
- W2082477520 hasConceptScore W2082477520C78458016 @default.
- W2082477520 hasConceptScore W2082477520C86803240 @default.
- W2082477520 hasIssue "2" @default.
- W2082477520 hasLocation W20824775201 @default.
- W2082477520 hasOpenAccess W2082477520 @default.
- W2082477520 hasPrimaryLocation W20824775201 @default.
- W2082477520 hasRelatedWork W2021904833 @default.
- W2082477520 hasRelatedWork W2081807618 @default.
- W2082477520 hasRelatedWork W2082477520 @default.
- W2082477520 hasRelatedWork W2096492364 @default.
- W2082477520 hasRelatedWork W2123168656 @default.
- W2082477520 hasRelatedWork W2394532980 @default.
- W2082477520 hasRelatedWork W2955386129 @default.
- W2082477520 hasRelatedWork W3161443230 @default.
- W2082477520 hasRelatedWork W4226101702 @default.
- W2082477520 hasRelatedWork W4245459860 @default.
- W2082477520 hasVolume "27" @default.
- W2082477520 isParatext "false" @default.
- W2082477520 isRetracted "false" @default.
- W2082477520 magId "2082477520" @default.
- W2082477520 workType "article" @default.