FRINK Linked Data Fragments server

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

• W2533507430 startingPage "21" @default.
• W2533507430 abstract "We introduce an extension of intuitionistic fixed point logic by a modal operator facilitating the extraction of non-deterministic concurrent programs from proofs. We apply this extension to program extraction in computable analysis, more precisely, to computing with Tsuiki's infinite Gray code for real numbers." @default.
• W2533507430 created "2016-10-28" @default.
• W2533507430 creator A5005999573 @default.
• W2533507430 date "2016-01-01" @default.
• W2533507430 modified "2023-09-26" @default.
• W2533507430 title "Extracting Non-Deterministic Concurrent Programs." @default.
• W2533507430 cites W1501212217 @default.
• W2533507430 cites W1949275316 @default.
• W2533507430 cites W1997143185 @default.
• W2533507430 cites W2055701927 @default.
• W2533507430 cites W2062024564 @default.
• W2533507430 cites W2128057448 @default.
• W2533507430 cites W2159513875 @default.
• W2533507430 cites W2169655078 @default.
• W2533507430 cites W2339392175 @default.
• W2533507430 cites W2467048503 @default.
• W2533507430 cites W2500726595 @default.
• W2533507430 cites W73015254 @default.
• W2533507430 cites W2517404649 @default.
• W2533507430 doi "https://doi.org/10.4230/lipics.csl.2016.26" @default.
• W2533507430 hasPublicationYear "2016" @default.
• W2533507430 type Work @default.
• W2533507430 sameAs 2533507430 @default.
• W2533507430 citedByCount "3" @default.
• W2533507430 countsByYear W25335074302020 @default.
• W2533507430 countsByYear W25335074302021 @default.
• W2533507430 countsByYear W25335074302022 @default.
• W2533507430 crossrefType "proceedings-article" @default.
• W2533507430 hasAuthorship W2533507430A5005999573 @default.
• W2533507430 hasConcept C102993220 @default.
• W2533507430 hasConcept C104317684 @default.
• W2533507430 hasConcept C108710211 @default.
• W2533507430 hasConcept C11413529 @default.
• W2533507430 hasConcept C136119220 @default.
• W2533507430 hasConcept C158448853 @default.
• W2533507430 hasConcept C17020691 @default.
• W2533507430 hasConcept C185592680 @default.
• W2533507430 hasConcept C188027245 @default.
• W2533507430 hasConcept C199360897 @default.
• W2533507430 hasConcept C202444582 @default.
• W2533507430 hasConcept C203659156 @default.
• W2533507430 hasConcept C2524010 @default.
• W2533507430 hasConcept C27508121 @default.
• W2533507430 hasConcept C2778029271 @default.
• W2533507430 hasConcept C33923547 @default.
• W2533507430 hasConcept C41008148 @default.
• W2533507430 hasConcept C55493867 @default.
• W2533507430 hasConcept C71139939 @default.
• W2533507430 hasConcept C78344899 @default.
• W2533507430 hasConcept C80444323 @default.
• W2533507430 hasConcept C86339819 @default.
• W2533507430 hasConceptScore W2533507430C102993220 @default.
• W2533507430 hasConceptScore W2533507430C104317684 @default.
• W2533507430 hasConceptScore W2533507430C108710211 @default.
• W2533507430 hasConceptScore W2533507430C11413529 @default.
• W2533507430 hasConceptScore W2533507430C136119220 @default.
• W2533507430 hasConceptScore W2533507430C158448853 @default.
• W2533507430 hasConceptScore W2533507430C17020691 @default.
• W2533507430 hasConceptScore W2533507430C185592680 @default.
• W2533507430 hasConceptScore W2533507430C188027245 @default.
• W2533507430 hasConceptScore W2533507430C199360897 @default.
• W2533507430 hasConceptScore W2533507430C202444582 @default.
• W2533507430 hasConceptScore W2533507430C203659156 @default.
• W2533507430 hasConceptScore W2533507430C2524010 @default.
• W2533507430 hasConceptScore W2533507430C27508121 @default.
• W2533507430 hasConceptScore W2533507430C2778029271 @default.
• W2533507430 hasConceptScore W2533507430C33923547 @default.
• W2533507430 hasConceptScore W2533507430C41008148 @default.
• W2533507430 hasConceptScore W2533507430C55493867 @default.
• W2533507430 hasConceptScore W2533507430C71139939 @default.
• W2533507430 hasConceptScore W2533507430C78344899 @default.
• W2533507430 hasConceptScore W2533507430C80444323 @default.
• W2533507430 hasConceptScore W2533507430C86339819 @default.
• W2533507430 hasLocation W25335074301 @default.
• W2533507430 hasOpenAccess W2533507430 @default.
• W2533507430 hasPrimaryLocation W25335074301 @default.
• W2533507430 hasRelatedWork W104504068 @default.
• W2533507430 hasRelatedWork W1525121175 @default.
• W2533507430 hasRelatedWork W1555798792 @default.
• W2533507430 hasRelatedWork W1566242322 @default.
• W2533507430 hasRelatedWork W1568477142 @default.
• W2533507430 hasRelatedWork W1575828165 @default.
• W2533507430 hasRelatedWork W1595726842 @default.
• W2533507430 hasRelatedWork W1979057949 @default.
• W2533507430 hasRelatedWork W1997256875 @default.
• W2533507430 hasRelatedWork W2048265179 @default.
• W2533507430 hasRelatedWork W2054554282 @default.
• W2533507430 hasRelatedWork W2076405698 @default.
• W2533507430 hasRelatedWork W2086765598 @default.
• W2533507430 hasRelatedWork W2090307683 @default.
• W2533507430 hasRelatedWork W2090547808 @default.
• W2533507430 hasRelatedWork W2130524429 @default.
• W2533507430 hasRelatedWork W2135755146 @default.
• W2533507430 hasRelatedWork W2163355139 @default.
• W2533507430 hasRelatedWork W2286742647 @default.
• W2533507430 hasRelatedWork W2569846767 @default.
• W2533507430 isParatext "false" @default.
• W2533507430 isRetracted "false" @default.
• W2533507430 magId "2533507430" @default.

• next