Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990903941> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W1990903941 abstract "Some theorems showing undecidability for computational commutativity, boundedness, termination and determinacy of parallel program schemata are given. These results are then compared with contrasting decidability results in [1] showing that the deletion of the hypothesis of repetition-freeness from the decidability theorems produces undecidability." @default.
- W1990903941 created "2016-06-24" @default.
- W1990903941 creator A5006465214 @default.
- W1990903941 date "1972-01-01" @default.
- W1990903941 modified "2023-09-26" @default.
- W1990903941 title "A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)" @default.
- W1990903941 cites W2010927194 @default.
- W1990903941 cites W2074864221 @default.
- W1990903941 cites W2106001218 @default.
- W1990903941 doi "https://doi.org/10.1145/800235.807079" @default.
- W1990903941 hasPublicationYear "1972" @default.
- W1990903941 type Work @default.
- W1990903941 sameAs 1990903941 @default.
- W1990903941 citedByCount "1" @default.
- W1990903941 crossrefType "proceedings-article" @default.
- W1990903941 hasAuthorship W1990903941A5006465214 @default.
- W1990903941 hasBestOaLocation W19909039411 @default.
- W1990903941 hasConcept C11413529 @default.
- W1990903941 hasConcept C118615104 @default.
- W1990903941 hasConcept C134306372 @default.
- W1990903941 hasConcept C153269930 @default.
- W1990903941 hasConcept C183778304 @default.
- W1990903941 hasConcept C192034797 @default.
- W1990903941 hasConcept C199360897 @default.
- W1990903941 hasConcept C33923547 @default.
- W1990903941 hasConcept C41008148 @default.
- W1990903941 hasConcept C58468513 @default.
- W1990903941 hasConceptScore W1990903941C11413529 @default.
- W1990903941 hasConceptScore W1990903941C118615104 @default.
- W1990903941 hasConceptScore W1990903941C134306372 @default.
- W1990903941 hasConceptScore W1990903941C153269930 @default.
- W1990903941 hasConceptScore W1990903941C183778304 @default.
- W1990903941 hasConceptScore W1990903941C192034797 @default.
- W1990903941 hasConceptScore W1990903941C199360897 @default.
- W1990903941 hasConceptScore W1990903941C33923547 @default.
- W1990903941 hasConceptScore W1990903941C41008148 @default.
- W1990903941 hasConceptScore W1990903941C58468513 @default.
- W1990903941 hasLocation W19909039411 @default.
- W1990903941 hasOpenAccess W1990903941 @default.
- W1990903941 hasPrimaryLocation W19909039411 @default.
- W1990903941 hasRelatedWork W1494870752 @default.
- W1990903941 hasRelatedWork W1569565139 @default.
- W1990903941 hasRelatedWork W1693995122 @default.
- W1990903941 hasRelatedWork W1990903941 @default.
- W1990903941 hasRelatedWork W2045738064 @default.
- W1990903941 hasRelatedWork W2057477641 @default.
- W1990903941 hasRelatedWork W3022956083 @default.
- W1990903941 hasRelatedWork W4256622872 @default.
- W1990903941 hasRelatedWork W4313303769 @default.
- W1990903941 hasRelatedWork W4330339471 @default.
- W1990903941 isParatext "false" @default.
- W1990903941 isRetracted "false" @default.
- W1990903941 magId "1990903941" @default.
- W1990903941 workType "article" @default.