Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311101611> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W4311101611 created "2022-12-23" @default.
- W4311101611 creator A5032635209 @default.
- W4311101611 date "2022-12-10" @default.
- W4311101611 modified "2023-10-16" @default.
- W4311101611 title "Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification" @default.
- W4311101611 doi "https://doi.org/10.5281/zenodo.7423277" @default.
- W4311101611 hasPublicationYear "2022" @default.
- W4311101611 type Work @default.
- W4311101611 citedByCount "0" @default.
- W4311101611 crossrefType "journal-article" @default.
- W4311101611 hasAuthorship W4311101611A5032635209 @default.
- W4311101611 hasConcept C110251889 @default.
- W4311101611 hasConcept C113174947 @default.
- W4311101611 hasConcept C134306372 @default.
- W4311101611 hasConcept C198008173 @default.
- W4311101611 hasConcept C199360897 @default.
- W4311101611 hasConcept C33923547 @default.
- W4311101611 hasConcept C41008148 @default.
- W4311101611 hasConcept C45374587 @default.
- W4311101611 hasConcept C80444323 @default.
- W4311101611 hasConceptScore W4311101611C110251889 @default.
- W4311101611 hasConceptScore W4311101611C113174947 @default.
- W4311101611 hasConceptScore W4311101611C134306372 @default.
- W4311101611 hasConceptScore W4311101611C198008173 @default.
- W4311101611 hasConceptScore W4311101611C199360897 @default.
- W4311101611 hasConceptScore W4311101611C33923547 @default.
- W4311101611 hasConceptScore W4311101611C41008148 @default.
- W4311101611 hasConceptScore W4311101611C45374587 @default.
- W4311101611 hasConceptScore W4311101611C80444323 @default.
- W4311101611 hasLocation W43111016111 @default.
- W4311101611 hasOpenAccess W4311101611 @default.
- W4311101611 hasPrimaryLocation W43111016111 @default.
- W4311101611 hasRelatedWork W120135115 @default.
- W4311101611 hasRelatedWork W1491574517 @default.
- W4311101611 hasRelatedWork W1597499909 @default.
- W4311101611 hasRelatedWork W1844279739 @default.
- W4311101611 hasRelatedWork W2040233837 @default.
- W4311101611 hasRelatedWork W2138161962 @default.
- W4311101611 hasRelatedWork W2151898527 @default.
- W4311101611 hasRelatedWork W2356566217 @default.
- W4311101611 hasRelatedWork W2949667040 @default.
- W4311101611 hasRelatedWork W4240265263 @default.
- W4311101611 isParatext "false" @default.
- W4311101611 isRetracted "false" @default.
- W4311101611 workType "article" @default.