Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503406871> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1503406871 endingPage "170" @default.
- W1503406871 startingPage "154" @default.
- W1503406871 created "2016-06-24" @default.
- W1503406871 creator A5022025835 @default.
- W1503406871 creator A5026805148 @default.
- W1503406871 date "2008-04-03" @default.
- W1503406871 modified "2023-10-18" @default.
- W1503406871 title "Non-termination Checking for Imperative Programs" @default.
- W1503406871 cites W1508261706 @default.
- W1503406871 cites W1522637266 @default.
- W1503406871 cites W1554618854 @default.
- W1503406871 cites W1563374593 @default.
- W1503406871 cites W1592840252 @default.
- W1503406871 cites W1841089713 @default.
- W1503406871 cites W2045112813 @default.
- W1503406871 cites W4234924236 @default.
- W1503406871 cites W4239007999 @default.
- W1503406871 cites W91193428 @default.
- W1503406871 doi "https://doi.org/10.1007/978-3-540-79124-9_11" @default.
- W1503406871 hasPublicationYear "2008" @default.
- W1503406871 type Work @default.
- W1503406871 sameAs 1503406871 @default.
- W1503406871 citedByCount "44" @default.
- W1503406871 countsByYear W15034068712012 @default.
- W1503406871 countsByYear W15034068712014 @default.
- W1503406871 countsByYear W15034068712015 @default.
- W1503406871 countsByYear W15034068712016 @default.
- W1503406871 countsByYear W15034068712017 @default.
- W1503406871 countsByYear W15034068712018 @default.
- W1503406871 countsByYear W15034068712019 @default.
- W1503406871 countsByYear W15034068712020 @default.
- W1503406871 countsByYear W15034068712021 @default.
- W1503406871 countsByYear W15034068712022 @default.
- W1503406871 countsByYear W15034068712023 @default.
- W1503406871 crossrefType "book-chapter" @default.
- W1503406871 hasAuthorship W1503406871A5022025835 @default.
- W1503406871 hasAuthorship W1503406871A5026805148 @default.
- W1503406871 hasConcept C110251889 @default.
- W1503406871 hasConcept C168065819 @default.
- W1503406871 hasConcept C177264268 @default.
- W1503406871 hasConcept C199360897 @default.
- W1503406871 hasConcept C2524010 @default.
- W1503406871 hasConcept C2776036281 @default.
- W1503406871 hasConcept C2776760102 @default.
- W1503406871 hasConcept C2777904410 @default.
- W1503406871 hasConcept C2779639559 @default.
- W1503406871 hasConcept C33923547 @default.
- W1503406871 hasConcept C41008148 @default.
- W1503406871 hasConcept C80444323 @default.
- W1503406871 hasConceptScore W1503406871C110251889 @default.
- W1503406871 hasConceptScore W1503406871C168065819 @default.
- W1503406871 hasConceptScore W1503406871C177264268 @default.
- W1503406871 hasConceptScore W1503406871C199360897 @default.
- W1503406871 hasConceptScore W1503406871C2524010 @default.
- W1503406871 hasConceptScore W1503406871C2776036281 @default.
- W1503406871 hasConceptScore W1503406871C2776760102 @default.
- W1503406871 hasConceptScore W1503406871C2777904410 @default.
- W1503406871 hasConceptScore W1503406871C2779639559 @default.
- W1503406871 hasConceptScore W1503406871C33923547 @default.
- W1503406871 hasConceptScore W1503406871C41008148 @default.
- W1503406871 hasConceptScore W1503406871C80444323 @default.
- W1503406871 hasLocation W15034068711 @default.
- W1503406871 hasOpenAccess W1503406871 @default.
- W1503406871 hasPrimaryLocation W15034068711 @default.
- W1503406871 hasRelatedWork W1498982577 @default.
- W1503406871 hasRelatedWork W1587224678 @default.
- W1503406871 hasRelatedWork W1601811574 @default.
- W1503406871 hasRelatedWork W198136691 @default.
- W1503406871 hasRelatedWork W2060012464 @default.
- W1503406871 hasRelatedWork W2097113253 @default.
- W1503406871 hasRelatedWork W2151898527 @default.
- W1503406871 hasRelatedWork W4253385079 @default.
- W1503406871 hasRelatedWork W4311134623 @default.
- W1503406871 hasRelatedWork W2527368155 @default.
- W1503406871 isParatext "false" @default.
- W1503406871 isRetracted "false" @default.
- W1503406871 magId "1503406871" @default.
- W1503406871 workType "book-chapter" @default.