Matches in SemOpenAlex for { <https://semopenalex.org/work/W4316174114> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W4316174114 created "2023-01-15" @default.
- W4316174114 creator A5025324126 @default.
- W4316174114 creator A5062309646 @default.
- W4316174114 date "2023-01-31" @default.
- W4316174114 modified "2023-09-26" @default.
- W4316174114 title "An AST for Representing Programs with Invariants and Proofs" @default.
- W4316174114 hasPublicationYear "2023" @default.
- W4316174114 type Work @default.
- W4316174114 citedByCount "0" @default.
- W4316174114 crossrefType "proceedings-article" @default.
- W4316174114 hasAuthorship W4316174114A5025324126 @default.
- W4316174114 hasAuthorship W4316174114A5062309646 @default.
- W4316174114 hasBestOaLocation W43161741141 @default.
- W4316174114 hasConcept C108710211 @default.
- W4316174114 hasConcept C199343813 @default.
- W4316174114 hasConcept C199360897 @default.
- W4316174114 hasConcept C2524010 @default.
- W4316174114 hasConcept C2777686260 @default.
- W4316174114 hasConcept C33923547 @default.
- W4316174114 hasConcept C41008148 @default.
- W4316174114 hasConcept C71924100 @default.
- W4316174114 hasConceptScore W4316174114C108710211 @default.
- W4316174114 hasConceptScore W4316174114C199343813 @default.
- W4316174114 hasConceptScore W4316174114C199360897 @default.
- W4316174114 hasConceptScore W4316174114C2524010 @default.
- W4316174114 hasConceptScore W4316174114C2777686260 @default.
- W4316174114 hasConceptScore W4316174114C33923547 @default.
- W4316174114 hasConceptScore W4316174114C41008148 @default.
- W4316174114 hasConceptScore W4316174114C71924100 @default.
- W4316174114 hasLocation W43161741141 @default.
- W4316174114 hasOpenAccess W4316174114 @default.
- W4316174114 hasPrimaryLocation W43161741141 @default.
- W4316174114 hasRelatedWork W2104078272 @default.
- W4316174114 hasRelatedWork W2112962394 @default.
- W4316174114 hasRelatedWork W2118300983 @default.
- W4316174114 hasRelatedWork W2166247150 @default.
- W4316174114 hasRelatedWork W2382501300 @default.
- W4316174114 hasRelatedWork W3137189469 @default.
- W4316174114 hasRelatedWork W3162240892 @default.
- W4316174114 hasRelatedWork W4235530921 @default.
- W4316174114 hasRelatedWork W4243252198 @default.
- W4316174114 hasRelatedWork W4245713008 @default.
- W4316174114 isParatext "false" @default.
- W4316174114 isRetracted "false" @default.
- W4316174114 workType "article" @default.