Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963671372> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2963671372 abstract "We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational properties of fixed point operations described by the axioms of iteration theories." @default.
- W2963671372 created "2019-07-30" @default.
- W2963671372 creator A5017293831 @default.
- W2963671372 creator A5057935060 @default.
- W2963671372 date "2016-04-21" @default.
- W2963671372 modified "2023-09-30" @default.
- W2963671372 title "An Analysis of the Equational Properties of the Well-Founded Fixed Point" @default.
- W2963671372 cites W1443075279 @default.
- W2963671372 cites W1565496223 @default.
- W2963671372 cites W16194962 @default.
- W2963671372 cites W1972464717 @default.
- W2963671372 cites W1995270677 @default.
- W2963671372 cites W2043871010 @default.
- W2963671372 cites W2051175345 @default.
- W2963671372 cites W2071118378 @default.
- W2963671372 cites W2080633262 @default.
- W2963671372 cites W2093397547 @default.
- W2963671372 cites W2099792091 @default.
- W2963671372 cites W2103765734 @default.
- W2963671372 cites W2105016364 @default.
- W2963671372 cites W2141740710 @default.
- W2963671372 cites W2145648043 @default.
- W2963671372 cites W2181625186 @default.
- W2963671372 cites W63499524 @default.
- W2963671372 hasPublicationYear "2016" @default.
- W2963671372 type Work @default.
- W2963671372 sameAs 2963671372 @default.
- W2963671372 citedByCount "0" @default.
- W2963671372 crossrefType "proceedings-article" @default.
- W2963671372 hasAuthorship W2963671372A5017293831 @default.
- W2963671372 hasAuthorship W2963671372A5057935060 @default.
- W2963671372 hasBestOaLocation W29636713721 @default.
- W2963671372 hasConcept C134306372 @default.
- W2963671372 hasConcept C2524010 @default.
- W2963671372 hasConcept C28719098 @default.
- W2963671372 hasConcept C33923547 @default.
- W2963671372 hasConcept C41008148 @default.
- W2963671372 hasConcept C61445026 @default.
- W2963671372 hasConceptScore W2963671372C134306372 @default.
- W2963671372 hasConceptScore W2963671372C2524010 @default.
- W2963671372 hasConceptScore W2963671372C28719098 @default.
- W2963671372 hasConceptScore W2963671372C33923547 @default.
- W2963671372 hasConceptScore W2963671372C41008148 @default.
- W2963671372 hasConceptScore W2963671372C61445026 @default.
- W2963671372 hasLocation W29636713721 @default.
- W2963671372 hasOpenAccess W2963671372 @default.
- W2963671372 hasPrimaryLocation W29636713721 @default.
- W2963671372 hasRelatedWork W1993665941 @default.
- W2963671372 hasRelatedWork W2142469071 @default.
- W2963671372 hasRelatedWork W2235062249 @default.
- W2963671372 hasRelatedWork W2290998526 @default.
- W2963671372 hasRelatedWork W2389754411 @default.
- W2963671372 hasRelatedWork W2543980187 @default.
- W2963671372 hasRelatedWork W2608556321 @default.
- W2963671372 hasRelatedWork W2891286549 @default.
- W2963671372 hasRelatedWork W2949541449 @default.
- W2963671372 hasRelatedWork W4313580020 @default.
- W2963671372 isParatext "false" @default.
- W2963671372 isRetracted "false" @default.
- W2963671372 magId "2963671372" @default.
- W2963671372 workType "article" @default.