Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108462968> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2108462968 endingPage "714" @default.
- W2108462968 startingPage "711" @default.
- W2108462968 abstract "We define a simple non-deterministic functional language that has definite variables and where function application is unfoldable. This language demonstrates the Søndergaard and Sestoft's claim, that in a non-deterministic language we cannot obtain both definiteness and unfoldability, assumes a fairly general notion of non-determinism. Our language relies on using a restricted notion of non-determinism called partial determinism." @default.
- W2108462968 created "2016-06-24" @default.
- W2108462968 creator A5067382904 @default.
- W2108462968 creator A5071438436 @default.
- W2108462968 date "1994-08-01" @default.
- W2108462968 modified "2023-09-26" @default.
- W2108462968 title "A Definite and Unfoldable, Partially Deterministic Language" @default.
- W2108462968 doi "https://doi.org/10.1093/comjnl/37.8.711" @default.
- W2108462968 hasPublicationYear "1994" @default.
- W2108462968 type Work @default.
- W2108462968 sameAs 2108462968 @default.
- W2108462968 citedByCount "0" @default.
- W2108462968 crossrefType "journal-article" @default.
- W2108462968 hasAuthorship W2108462968A5067382904 @default.
- W2108462968 hasAuthorship W2108462968A5071438436 @default.
- W2108462968 hasBestOaLocation W21084629681 @default.
- W2108462968 hasConcept C111472728 @default.
- W2108462968 hasConcept C121332964 @default.
- W2108462968 hasConcept C138885662 @default.
- W2108462968 hasConcept C14036430 @default.
- W2108462968 hasConcept C158693339 @default.
- W2108462968 hasConcept C192183473 @default.
- W2108462968 hasConcept C2778265155 @default.
- W2108462968 hasConcept C2779056149 @default.
- W2108462968 hasConcept C2780586882 @default.
- W2108462968 hasConcept C33923547 @default.
- W2108462968 hasConcept C41008148 @default.
- W2108462968 hasConcept C41895202 @default.
- W2108462968 hasConcept C49712288 @default.
- W2108462968 hasConcept C62520636 @default.
- W2108462968 hasConcept C78458016 @default.
- W2108462968 hasConcept C86803240 @default.
- W2108462968 hasConceptScore W2108462968C111472728 @default.
- W2108462968 hasConceptScore W2108462968C121332964 @default.
- W2108462968 hasConceptScore W2108462968C138885662 @default.
- W2108462968 hasConceptScore W2108462968C14036430 @default.
- W2108462968 hasConceptScore W2108462968C158693339 @default.
- W2108462968 hasConceptScore W2108462968C192183473 @default.
- W2108462968 hasConceptScore W2108462968C2778265155 @default.
- W2108462968 hasConceptScore W2108462968C2779056149 @default.
- W2108462968 hasConceptScore W2108462968C2780586882 @default.
- W2108462968 hasConceptScore W2108462968C33923547 @default.
- W2108462968 hasConceptScore W2108462968C41008148 @default.
- W2108462968 hasConceptScore W2108462968C41895202 @default.
- W2108462968 hasConceptScore W2108462968C49712288 @default.
- W2108462968 hasConceptScore W2108462968C62520636 @default.
- W2108462968 hasConceptScore W2108462968C78458016 @default.
- W2108462968 hasConceptScore W2108462968C86803240 @default.
- W2108462968 hasIssue "8" @default.
- W2108462968 hasLocation W21084629681 @default.
- W2108462968 hasOpenAccess W2108462968 @default.
- W2108462968 hasPrimaryLocation W21084629681 @default.
- W2108462968 hasRelatedWork W1998209120 @default.
- W2108462968 hasRelatedWork W2328946374 @default.
- W2108462968 hasRelatedWork W2356364244 @default.
- W2108462968 hasRelatedWork W2361979571 @default.
- W2108462968 hasRelatedWork W2599344745 @default.
- W2108462968 hasRelatedWork W3178716799 @default.
- W2108462968 hasRelatedWork W3208377712 @default.
- W2108462968 hasRelatedWork W416055529 @default.
- W2108462968 hasRelatedWork W4210436583 @default.
- W2108462968 hasRelatedWork W2520481094 @default.
- W2108462968 hasVolume "37" @default.
- W2108462968 isParatext "false" @default.
- W2108462968 isRetracted "false" @default.
- W2108462968 magId "2108462968" @default.
- W2108462968 workType "article" @default.