Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000686427> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2000686427 endingPage "154" @default.
- W2000686427 startingPage "153" @default.
- W2000686427 created "2016-06-24" @default.
- W2000686427 creator A5003856856 @default.
- W2000686427 creator A5025232172 @default.
- W2000686427 date "2006-11-25" @default.
- W2000686427 modified "2023-09-23" @default.
- W2000686427 title "Third Special Issue on Techniques for Automated Termination Proofs" @default.
- W2000686427 doi "https://doi.org/10.1007/s10817-006-9052-z" @default.
- W2000686427 hasPublicationYear "2006" @default.
- W2000686427 type Work @default.
- W2000686427 sameAs 2000686427 @default.
- W2000686427 citedByCount "1" @default.
- W2000686427 crossrefType "journal-article" @default.
- W2000686427 hasAuthorship W2000686427A5003856856 @default.
- W2000686427 hasAuthorship W2000686427A5025232172 @default.
- W2000686427 hasConcept C108710211 @default.
- W2000686427 hasConcept C115903868 @default.
- W2000686427 hasConcept C13766981 @default.
- W2000686427 hasConcept C199343813 @default.
- W2000686427 hasConcept C199360897 @default.
- W2000686427 hasConcept C206880738 @default.
- W2000686427 hasConcept C2524010 @default.
- W2000686427 hasConcept C2777686260 @default.
- W2000686427 hasConcept C33923547 @default.
- W2000686427 hasConcept C41008148 @default.
- W2000686427 hasConcept C71924100 @default.
- W2000686427 hasConceptScore W2000686427C108710211 @default.
- W2000686427 hasConceptScore W2000686427C115903868 @default.
- W2000686427 hasConceptScore W2000686427C13766981 @default.
- W2000686427 hasConceptScore W2000686427C199343813 @default.
- W2000686427 hasConceptScore W2000686427C199360897 @default.
- W2000686427 hasConceptScore W2000686427C206880738 @default.
- W2000686427 hasConceptScore W2000686427C2524010 @default.
- W2000686427 hasConceptScore W2000686427C2777686260 @default.
- W2000686427 hasConceptScore W2000686427C33923547 @default.
- W2000686427 hasConceptScore W2000686427C41008148 @default.
- W2000686427 hasConceptScore W2000686427C71924100 @default.
- W2000686427 hasIssue "3" @default.
- W2000686427 hasLocation W20006864271 @default.
- W2000686427 hasOpenAccess W2000686427 @default.
- W2000686427 hasPrimaryLocation W20006864271 @default.
- W2000686427 hasRelatedWork W1590308900 @default.
- W2000686427 hasRelatedWork W1768836394 @default.
- W2000686427 hasRelatedWork W178462411 @default.
- W2000686427 hasRelatedWork W280188670 @default.
- W2000686427 hasRelatedWork W2950961618 @default.
- W2000686427 hasRelatedWork W2991024295 @default.
- W2000686427 hasRelatedWork W787793384 @default.
- W2000686427 hasRelatedWork W890241888 @default.
- W2000686427 hasRelatedWork W2291331826 @default.
- W2000686427 hasRelatedWork W2584254838 @default.
- W2000686427 hasVolume "37" @default.
- W2000686427 isParatext "false" @default.
- W2000686427 isRetracted "false" @default.
- W2000686427 magId "2000686427" @default.
- W2000686427 workType "article" @default.