Matches in SemOpenAlex for { <https://semopenalex.org/work/W3007603016> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3007603016 created "2020-03-06" @default.
- W3007603016 creator A5018160333 @default.
- W3007603016 creator A5024163301 @default.
- W3007603016 creator A5036383167 @default.
- W3007603016 creator A5069532250 @default.
- W3007603016 date "2020-01-24" @default.
- W3007603016 modified "2023-09-29" @default.
- W3007603016 title "Spatial Factorization in Cyclic-Proof System for Separation Logic" @default.
- W3007603016 cites W135237429 @default.
- W3007603016 cites W1506554338 @default.
- W3007603016 cites W1506927614 @default.
- W3007603016 cites W1580779595 @default.
- W3007603016 cites W1757770995 @default.
- W3007603016 cites W1841862047 @default.
- W3007603016 cites W2013050211 @default.
- W3007603016 cites W2025750846 @default.
- W3007603016 cites W2108611287 @default.
- W3007603016 cites W2130162474 @default.
- W3007603016 cites W2137628566 @default.
- W3007603016 cites W2152686702 @default.
- W3007603016 cites W2284409231 @default.
- W3007603016 cites W2930217943 @default.
- W3007603016 cites W2963581951 @default.
- W3007603016 cites W2985895390 @default.
- W3007603016 cites W3023397123 @default.
- W3007603016 cites W32928793 @default.
- W3007603016 cites W634201214 @default.
- W3007603016 doi "https://doi.org/10.11309/jssst.37.1_125" @default.
- W3007603016 hasPublicationYear "2020" @default.
- W3007603016 type Work @default.
- W3007603016 sameAs 3007603016 @default.
- W3007603016 citedByCount "0" @default.
- W3007603016 crossrefType "journal-article" @default.
- W3007603016 hasAuthorship W3007603016A5018160333 @default.
- W3007603016 hasAuthorship W3007603016A5024163301 @default.
- W3007603016 hasAuthorship W3007603016A5036383167 @default.
- W3007603016 hasAuthorship W3007603016A5069532250 @default.
- W3007603016 hasConcept C105795698 @default.
- W3007603016 hasConcept C11413529 @default.
- W3007603016 hasConcept C187834632 @default.
- W3007603016 hasConcept C2776061190 @default.
- W3007603016 hasConcept C33923547 @default.
- W3007603016 hasConcept C41008148 @default.
- W3007603016 hasConcept C94375191 @default.
- W3007603016 hasConceptScore W3007603016C105795698 @default.
- W3007603016 hasConceptScore W3007603016C11413529 @default.
- W3007603016 hasConceptScore W3007603016C187834632 @default.
- W3007603016 hasConceptScore W3007603016C2776061190 @default.
- W3007603016 hasConceptScore W3007603016C33923547 @default.
- W3007603016 hasConceptScore W3007603016C41008148 @default.
- W3007603016 hasConceptScore W3007603016C94375191 @default.
- W3007603016 hasIssue "1" @default.
- W3007603016 hasLocation W30076030161 @default.
- W3007603016 hasOpenAccess W3007603016 @default.
- W3007603016 hasPrimaryLocation W30076030161 @default.
- W3007603016 hasRelatedWork W1853723182 @default.
- W3007603016 hasRelatedWork W186755055 @default.
- W3007603016 hasRelatedWork W1900372236 @default.
- W3007603016 hasRelatedWork W1974834099 @default.
- W3007603016 hasRelatedWork W1984175701 @default.
- W3007603016 hasRelatedWork W1986542095 @default.
- W3007603016 hasRelatedWork W2006110459 @default.
- W3007603016 hasRelatedWork W2020947181 @default.
- W3007603016 hasRelatedWork W2042561730 @default.
- W3007603016 hasRelatedWork W2044183943 @default.
- W3007603016 hasRelatedWork W2055703194 @default.
- W3007603016 hasRelatedWork W2058709793 @default.
- W3007603016 hasRelatedWork W2069519145 @default.
- W3007603016 hasRelatedWork W2103840660 @default.
- W3007603016 hasRelatedWork W2166098345 @default.
- W3007603016 hasRelatedWork W2168858765 @default.
- W3007603016 hasRelatedWork W2616966953 @default.
- W3007603016 hasRelatedWork W2963622596 @default.
- W3007603016 hasRelatedWork W3139535688 @default.
- W3007603016 hasRelatedWork W595050678 @default.
- W3007603016 hasVolume "37" @default.
- W3007603016 isParatext "false" @default.
- W3007603016 isRetracted "false" @default.
- W3007603016 magId "3007603016" @default.
- W3007603016 workType "article" @default.