Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386150702> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W4386150702 created "2023-08-26" @default.
- W4386150702 creator A5077439185 @default.
- W4386150702 date "2015-04-11" @default.
- W4386150702 modified "2023-10-16" @default.
- W4386150702 title "FuncTion: An Abstract Domain Functor for Termination" @default.
- W4386150702 hasPublicationYear "2015" @default.
- W4386150702 type Work @default.
- W4386150702 citedByCount "0" @default.
- W4386150702 crossrefType "proceedings-article" @default.
- W4386150702 hasAuthorship W4386150702A5077439185 @default.
- W4386150702 hasConcept C134306372 @default.
- W4386150702 hasConcept C14036430 @default.
- W4386150702 hasConcept C156772000 @default.
- W4386150702 hasConcept C202444582 @default.
- W4386150702 hasConcept C33923547 @default.
- W4386150702 hasConcept C36503486 @default.
- W4386150702 hasConcept C41008148 @default.
- W4386150702 hasConcept C86803240 @default.
- W4386150702 hasConcept C95444343 @default.
- W4386150702 hasConceptScore W4386150702C134306372 @default.
- W4386150702 hasConceptScore W4386150702C14036430 @default.
- W4386150702 hasConceptScore W4386150702C156772000 @default.
- W4386150702 hasConceptScore W4386150702C202444582 @default.
- W4386150702 hasConceptScore W4386150702C33923547 @default.
- W4386150702 hasConceptScore W4386150702C36503486 @default.
- W4386150702 hasConceptScore W4386150702C41008148 @default.
- W4386150702 hasConceptScore W4386150702C86803240 @default.
- W4386150702 hasConceptScore W4386150702C95444343 @default.
- W4386150702 hasLocation W43861507021 @default.
- W4386150702 hasOpenAccess W4386150702 @default.
- W4386150702 hasPrimaryLocation W43861507021 @default.
- W4386150702 hasRelatedWork W10832145 @default.
- W4386150702 hasRelatedWork W1513555100 @default.
- W4386150702 hasRelatedWork W1974700261 @default.
- W4386150702 hasRelatedWork W1979153145 @default.
- W4386150702 hasRelatedWork W2032011080 @default.
- W4386150702 hasRelatedWork W2753560294 @default.
- W4386150702 hasRelatedWork W2963017786 @default.
- W4386150702 hasRelatedWork W3105209437 @default.
- W4386150702 hasRelatedWork W4319339286 @default.
- W4386150702 hasRelatedWork W846333652 @default.
- W4386150702 isParatext "false" @default.
- W4386150702 isRetracted "false" @default.
- W4386150702 workType "article" @default.