Matches in SemOpenAlex for { <https://semopenalex.org/work/W3197347761> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- W3197347761 abstract "This volume contains the post-proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid-19 pandemic as an affiliated workshop of ETAPS." @default.
- W3197347761 created "2021-09-13" @default.
- W3197347761 creator A5014085893 @default.
- W3197347761 creator A5031939019 @default.
- W3197347761 date "2021-09-09" @default.
- W3197347761 modified "2023-09-26" @default.
- W3197347761 doi "https://doi.org/10.4204/eptcs.344" @default.
- W3197347761 hasPublicationYear "2021" @default.
- W3197347761 type Work @default.
- W3197347761 sameAs 3197347761 @default.
- W3197347761 citedByCount "0" @default.
- W3197347761 crossrefType "journal-issue" @default.
- W3197347761 hasAuthorship W3197347761A5014085893 @default.
- W3197347761 hasAuthorship W3197347761A5031939019 @default.
- W3197347761 hasBestOaLocation W31973477611 @default.
- W3197347761 hasConcept C161191863 @default.
- W3197347761 hasConcept C41008148 @default.
- W3197347761 hasConceptScore W3197347761C161191863 @default.
- W3197347761 hasConceptScore W3197347761C41008148 @default.
- W3197347761 hasLocation W31973477611 @default.
- W3197347761 hasLocation W31973477612 @default.
- W3197347761 hasOpenAccess W3197347761 @default.
- W3197347761 hasPrimaryLocation W31973477611 @default.
- W3197347761 hasRelatedWork W2096946506 @default.
- W3197347761 hasRelatedWork W2130043461 @default.
- W3197347761 hasRelatedWork W2350741829 @default.
- W3197347761 hasRelatedWork W2358668433 @default.
- W3197347761 hasRelatedWork W2376932109 @default.
- W3197347761 hasRelatedWork W2382290278 @default.
- W3197347761 hasRelatedWork W2390279801 @default.
- W3197347761 hasRelatedWork W2748952813 @default.
- W3197347761 hasRelatedWork W2899084033 @default.
- W3197347761 hasRelatedWork W3004735627 @default.
- W3197347761 hasVolume "344" @default.
- W3197347761 isParatext "false" @default.
- W3197347761 isRetracted "false" @default.
- W3197347761 magId "3197347761" @default.
- W3197347761 workType "paratext" @default.