FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071454377> ?p ?o ?g. }

• W2071454377 endingPage "62" @default.
• W2071454377 startingPage "42" @default.
• W2071454377 abstract "This paper is concerned with the expressive power (or computational power) of loop programs over different sets of primitive instructions. In particular, we show that an { x ← 0, x ← y , x ← x + 1, do x … end , if x = 0 then y ← z }-program which contains no nested loops can be transformed into an equivalent { x ← 0, x ← y , x ← x + 1, do x … end }-program (also without nested loops) in exponential time and space. This translation was earlier claimed, in the literature, to be obtainable in polynomial time, but then this was subsequently shown to imply that PSPACE = PTIME. Consequently, the question of translatability was left unanswered. Also, we show that the class of functions computable by { x ← 0, x ← y , x ← x + 1, x − 1, do x … end , if x = 0 then x ← c }-programs is exactly the class of Presburger functions." @default.
• W2071454377 created "2016-06-24" @default.
• W2071454377 creator A5029452703 @default.
• W2071454377 creator A5074809336 @default.
• W2071454377 date "1985-04-01" @default.
• W2071454377 modified "2023-09-26" @default.
• W2071454377 title "On simple programs with primitive conditional statements" @default.
• W2071454377 cites W1978995933 @default.
• W2071454377 cites W1985456258 @default.
• W2071454377 cites W1988826480 @default.
• W2071454377 cites W2009880057 @default.
• W2071454377 cites W2023999667 @default.
• W2071454377 cites W2028542428 @default.
• W2071454377 cites W2030406276 @default.
• W2071454377 cites W2030748072 @default.
• W2071454377 cites W2050570101 @default.
• W2071454377 cites W2070002876 @default.
• W2071454377 cites W2072088733 @default.
• W2071454377 cites W2134992721 @default.
• W2071454377 cites W2149547738 @default.
• W2071454377 doi "https://doi.org/10.1016/s0019-9958(85)80019-x" @default.
• W2071454377 hasPublicationYear "1985" @default.
• W2071454377 type Work @default.
• W2071454377 sameAs 2071454377 @default.
• W2071454377 citedByCount "1" @default.
• W2071454377 crossrefType "journal-article" @default.
• W2071454377 hasAuthorship W2071454377A5029452703 @default.
• W2071454377 hasAuthorship W2071454377A5074809336 @default.
• W2071454377 hasBestOaLocation W20714543771 @default.
• W2071454377 hasConcept C111472728 @default.
• W2071454377 hasConcept C111919701 @default.
• W2071454377 hasConcept C11413529 @default.
• W2071454377 hasConcept C114614502 @default.
• W2071454377 hasConcept C118615104 @default.
• W2071454377 hasConcept C121332964 @default.
• W2071454377 hasConcept C134026603 @default.
• W2071454377 hasConcept C134306372 @default.
• W2071454377 hasConcept C138885662 @default.
• W2071454377 hasConcept C151376022 @default.
• W2071454377 hasConcept C153269930 @default.
• W2071454377 hasConcept C154945302 @default.
• W2071454377 hasConcept C163258240 @default.
• W2071454377 hasConcept C179799912 @default.
• W2071454377 hasConcept C184670325 @default.
• W2071454377 hasConcept C197685441 @default.
• W2071454377 hasConcept C2777212361 @default.
• W2071454377 hasConcept C2778572836 @default.
• W2071454377 hasConcept C2780586882 @default.
• W2071454377 hasConcept C311688 @default.
• W2071454377 hasConcept C33923547 @default.
• W2071454377 hasConcept C39637292 @default.
• W2071454377 hasConcept C41008148 @default.
• W2071454377 hasConcept C5852641 @default.
• W2071454377 hasConcept C62520636 @default.
• W2071454377 hasConcept C90119067 @default.
• W2071454377 hasConceptScore W2071454377C111472728 @default.
• W2071454377 hasConceptScore W2071454377C111919701 @default.
• W2071454377 hasConceptScore W2071454377C11413529 @default.
• W2071454377 hasConceptScore W2071454377C114614502 @default.
• W2071454377 hasConceptScore W2071454377C118615104 @default.
• W2071454377 hasConceptScore W2071454377C121332964 @default.
• W2071454377 hasConceptScore W2071454377C134026603 @default.
• W2071454377 hasConceptScore W2071454377C134306372 @default.
• W2071454377 hasConceptScore W2071454377C138885662 @default.
• W2071454377 hasConceptScore W2071454377C151376022 @default.
• W2071454377 hasConceptScore W2071454377C153269930 @default.
• W2071454377 hasConceptScore W2071454377C154945302 @default.
• W2071454377 hasConceptScore W2071454377C163258240 @default.
• W2071454377 hasConceptScore W2071454377C179799912 @default.
• W2071454377 hasConceptScore W2071454377C184670325 @default.
• W2071454377 hasConceptScore W2071454377C197685441 @default.
• W2071454377 hasConceptScore W2071454377C2777212361 @default.
• W2071454377 hasConceptScore W2071454377C2778572836 @default.
• W2071454377 hasConceptScore W2071454377C2780586882 @default.
• W2071454377 hasConceptScore W2071454377C311688 @default.
• W2071454377 hasConceptScore W2071454377C33923547 @default.
• W2071454377 hasConceptScore W2071454377C39637292 @default.
• W2071454377 hasConceptScore W2071454377C41008148 @default.
• W2071454377 hasConceptScore W2071454377C5852641 @default.
• W2071454377 hasConceptScore W2071454377C62520636 @default.
• W2071454377 hasConceptScore W2071454377C90119067 @default.
• W2071454377 hasIssue "1" @default.
• W2071454377 hasLocation W20714543771 @default.
• W2071454377 hasOpenAccess W2071454377 @default.
• W2071454377 hasPrimaryLocation W20714543771 @default.
• W2071454377 hasRelatedWork W1504200807 @default.
• W2071454377 hasRelatedWork W1545342196 @default.
• W2071454377 hasRelatedWork W1771259603 @default.
• W2071454377 hasRelatedWork W2007014039 @default.
• W2071454377 hasRelatedWork W2026191634 @default.
• W2071454377 hasRelatedWork W2071454377 @default.
• W2071454377 hasRelatedWork W2118798198 @default.
• W2071454377 hasRelatedWork W2154884611 @default.
• W2071454377 hasRelatedWork W2294074214 @default.
• W2071454377 hasRelatedWork W4301020871 @default.
• W2071454377 hasVolume "65" @default.
• W2071454377 isParatext "false" @default.
• W2071454377 isRetracted "false" @default.

• next