Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301412151> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4301412151 abstract "Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between stratified complete lattices and used to give semantics to logic programs with negation and boolean context-free grammars. We prove that this new operation satisfies `the standard' identities of fixed point operations as described by the axioms of iteration theories. We also study this new fixed point operation in connection with lambda-abstraction." @default.
- W4301412151 created "2022-10-05" @default.
- W4301412151 creator A5017293831 @default.
- W4301412151 date "2014-10-29" @default.
- W4301412151 modified "2023-09-30" @default.
- W4301412151 title "Equational properties of stratified least fixed points" @default.
- W4301412151 doi "https://doi.org/10.48550/arxiv.1410.8111" @default.
- W4301412151 hasPublicationYear "2014" @default.
- W4301412151 type Work @default.
- W4301412151 citedByCount "0" @default.
- W4301412151 crossrefType "posted-content" @default.
- W4301412151 hasAuthorship W4301412151A5017293831 @default.
- W4301412151 hasBestOaLocation W43014121511 @default.
- W4301412151 hasConcept C111472728 @default.
- W4301412151 hasConcept C118615104 @default.
- W4301412151 hasConcept C124304363 @default.
- W4301412151 hasConcept C13355873 @default.
- W4301412151 hasConcept C134306372 @default.
- W4301412151 hasConcept C138885662 @default.
- W4301412151 hasConcept C151730666 @default.
- W4301412151 hasConcept C167729594 @default.
- W4301412151 hasConcept C199360897 @default.
- W4301412151 hasConcept C206929604 @default.
- W4301412151 hasConcept C2185349 @default.
- W4301412151 hasConcept C2524010 @default.
- W4301412151 hasConcept C27333817 @default.
- W4301412151 hasConcept C2779343474 @default.
- W4301412151 hasConcept C28642324 @default.
- W4301412151 hasConcept C33923547 @default.
- W4301412151 hasConcept C41008148 @default.
- W4301412151 hasConcept C45962547 @default.
- W4301412151 hasConcept C61445026 @default.
- W4301412151 hasConcept C72169020 @default.
- W4301412151 hasConcept C86803240 @default.
- W4301412151 hasConceptScore W4301412151C111472728 @default.
- W4301412151 hasConceptScore W4301412151C118615104 @default.
- W4301412151 hasConceptScore W4301412151C124304363 @default.
- W4301412151 hasConceptScore W4301412151C13355873 @default.
- W4301412151 hasConceptScore W4301412151C134306372 @default.
- W4301412151 hasConceptScore W4301412151C138885662 @default.
- W4301412151 hasConceptScore W4301412151C151730666 @default.
- W4301412151 hasConceptScore W4301412151C167729594 @default.
- W4301412151 hasConceptScore W4301412151C199360897 @default.
- W4301412151 hasConceptScore W4301412151C206929604 @default.
- W4301412151 hasConceptScore W4301412151C2185349 @default.
- W4301412151 hasConceptScore W4301412151C2524010 @default.
- W4301412151 hasConceptScore W4301412151C27333817 @default.
- W4301412151 hasConceptScore W4301412151C2779343474 @default.
- W4301412151 hasConceptScore W4301412151C28642324 @default.
- W4301412151 hasConceptScore W4301412151C33923547 @default.
- W4301412151 hasConceptScore W4301412151C41008148 @default.
- W4301412151 hasConceptScore W4301412151C45962547 @default.
- W4301412151 hasConceptScore W4301412151C61445026 @default.
- W4301412151 hasConceptScore W4301412151C72169020 @default.
- W4301412151 hasConceptScore W4301412151C86803240 @default.
- W4301412151 hasLocation W43014121511 @default.
- W4301412151 hasOpenAccess W4301412151 @default.
- W4301412151 hasPrimaryLocation W43014121511 @default.
- W4301412151 hasRelatedWork W1865426860 @default.
- W4301412151 hasRelatedWork W1934562588 @default.
- W4301412151 hasRelatedWork W2000500538 @default.
- W4301412151 hasRelatedWork W2088094394 @default.
- W4301412151 hasRelatedWork W2575897612 @default.
- W4301412151 hasRelatedWork W2666358762 @default.
- W4301412151 hasRelatedWork W2950237991 @default.
- W4301412151 hasRelatedWork W2964538075 @default.
- W4301412151 hasRelatedWork W4300416761 @default.
- W4301412151 hasRelatedWork W4301412151 @default.
- W4301412151 isParatext "false" @default.
- W4301412151 isRetracted "false" @default.
- W4301412151 workType "article" @default.