Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894935175> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2894935175 created "2018-10-12" @default.
- W2894935175 creator A5012489417 @default.
- W2894935175 creator A5039334115 @default.
- W2894935175 date "2012-01-01" @default.
- W2894935175 modified "2023-09-27" @default.
- W2894935175 title "Inferring Precise Polymorphic Specifications for the Hoare State Monad" @default.
- W2894935175 cites W1508641834 @default.
- W2894935175 cites W1545681762 @default.
- W2894935175 cites W1558331296 @default.
- W2894935175 cites W1965338843 @default.
- W2894935175 cites W1967019306 @default.
- W2894935175 cites W1990409169 @default.
- W2894935175 cites W2026792276 @default.
- W2894935175 cites W2030360570 @default.
- W2894935175 cites W2037984920 @default.
- W2894935175 cites W2054873703 @default.
- W2894935175 cites W2066210260 @default.
- W2894935175 cites W2124141583 @default.
- W2894935175 cites W2127574686 @default.
- W2894935175 cites W2129671708 @default.
- W2894935175 cites W2131067178 @default.
- W2894935175 cites W2147778310 @default.
- W2894935175 cites W2163976959 @default.
- W2894935175 cites W2169417140 @default.
- W2894935175 cites W2295923951 @default.
- W2894935175 cites W3146075203 @default.
- W2894935175 cites W2115721302 @default.
- W2894935175 hasPublicationYear "2012" @default.
- W2894935175 type Work @default.
- W2894935175 sameAs 2894935175 @default.
- W2894935175 citedByCount "0" @default.
- W2894935175 crossrefType "journal-article" @default.
- W2894935175 hasAuthorship W2894935175A5012489417 @default.
- W2894935175 hasAuthorship W2894935175A5039334115 @default.
- W2894935175 hasConcept C104949639 @default.
- W2894935175 hasConcept C118615104 @default.
- W2894935175 hasConcept C156772000 @default.
- W2894935175 hasConcept C199360897 @default.
- W2894935175 hasConcept C33923547 @default.
- W2894935175 hasConcept C33959348 @default.
- W2894935175 hasConcept C41008148 @default.
- W2894935175 hasConcept C48103436 @default.
- W2894935175 hasConcept C55439883 @default.
- W2894935175 hasConceptScore W2894935175C104949639 @default.
- W2894935175 hasConceptScore W2894935175C118615104 @default.
- W2894935175 hasConceptScore W2894935175C156772000 @default.
- W2894935175 hasConceptScore W2894935175C199360897 @default.
- W2894935175 hasConceptScore W2894935175C33923547 @default.
- W2894935175 hasConceptScore W2894935175C33959348 @default.
- W2894935175 hasConceptScore W2894935175C41008148 @default.
- W2894935175 hasConceptScore W2894935175C48103436 @default.
- W2894935175 hasConceptScore W2894935175C55439883 @default.
- W2894935175 hasLocation W28949351751 @default.
- W2894935175 hasOpenAccess W2894935175 @default.
- W2894935175 hasPrimaryLocation W28949351751 @default.
- W2894935175 hasRelatedWork W1561339221 @default.
- W2894935175 hasRelatedWork W1677332761 @default.
- W2894935175 hasRelatedWork W1990409169 @default.
- W2894935175 hasRelatedWork W2070002876 @default.
- W2894935175 hasRelatedWork W2109631547 @default.
- W2894935175 hasRelatedWork W2137783828 @default.
- W2894935175 hasRelatedWork W2152899988 @default.
- W2894935175 hasRelatedWork W2275729681 @default.
- W2894935175 hasRelatedWork W2472960108 @default.
- W2894935175 hasRelatedWork W2520467443 @default.
- W2894935175 hasRelatedWork W2541081061 @default.
- W2894935175 hasRelatedWork W2771561452 @default.
- W2894935175 hasRelatedWork W2811069900 @default.
- W2894935175 hasRelatedWork W2949947612 @default.
- W2894935175 hasRelatedWork W2967216242 @default.
- W2894935175 hasRelatedWork W2999328989 @default.
- W2894935175 hasRelatedWork W3086686154 @default.
- W2894935175 hasRelatedWork W3120342423 @default.
- W2894935175 isParatext "false" @default.
- W2894935175 isRetracted "false" @default.
- W2894935175 magId "2894935175" @default.
- W2894935175 workType "article" @default.