Matches in SemOpenAlex for { <https://semopenalex.org/work/W68473552> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W68473552 abstract "This paper presents a specification of the IP layer in linear logic and shows how linear logic can be used to prove some properties of this layer. Both the specification and the correctness proofs have been validated using the Coq proof assistant, via the authors' embedding of linear logic into this constructive framework." @default.
- W68473552 created "2016-06-24" @default.
- W68473552 creator A5013013246 @default.
- W68473552 creator A5044576485 @default.
- W68473552 creator A5046243747 @default.
- W68473552 creator A5062413055 @default.
- W68473552 creator A5063702831 @default.
- W68473552 date "2000-01-01" @default.
- W68473552 modified "2023-09-27" @default.
- W68473552 title "Specifying and Verifying IP with Linear Logic." @default.
- W68473552 hasPublicationYear "2000" @default.
- W68473552 type Work @default.
- W68473552 sameAs 68473552 @default.
- W68473552 citedByCount "2" @default.
- W68473552 crossrefType "journal-article" @default.
- W68473552 hasAuthorship W68473552A5013013246 @default.
- W68473552 hasAuthorship W68473552A5044576485 @default.
- W68473552 hasAuthorship W68473552A5046243747 @default.
- W68473552 hasAuthorship W68473552A5062413055 @default.
- W68473552 hasAuthorship W68473552A5063702831 @default.
- W68473552 hasConcept C102993220 @default.
- W68473552 hasConcept C108710211 @default.
- W68473552 hasConcept C11413529 @default.
- W68473552 hasConcept C144760519 @default.
- W68473552 hasConcept C154945302 @default.
- W68473552 hasConcept C169896238 @default.
- W68473552 hasConcept C199360897 @default.
- W68473552 hasConcept C2524010 @default.
- W68473552 hasConcept C28077239 @default.
- W68473552 hasConcept C33923547 @default.
- W68473552 hasConcept C41008148 @default.
- W68473552 hasConcept C41608201 @default.
- W68473552 hasConcept C55439883 @default.
- W68473552 hasConcept C80444323 @default.
- W68473552 hasConceptScore W68473552C102993220 @default.
- W68473552 hasConceptScore W68473552C108710211 @default.
- W68473552 hasConceptScore W68473552C11413529 @default.
- W68473552 hasConceptScore W68473552C144760519 @default.
- W68473552 hasConceptScore W68473552C154945302 @default.
- W68473552 hasConceptScore W68473552C169896238 @default.
- W68473552 hasConceptScore W68473552C199360897 @default.
- W68473552 hasConceptScore W68473552C2524010 @default.
- W68473552 hasConceptScore W68473552C28077239 @default.
- W68473552 hasConceptScore W68473552C33923547 @default.
- W68473552 hasConceptScore W68473552C41008148 @default.
- W68473552 hasConceptScore W68473552C41608201 @default.
- W68473552 hasConceptScore W68473552C55439883 @default.
- W68473552 hasConceptScore W68473552C80444323 @default.
- W68473552 hasLocation W684735521 @default.
- W68473552 hasOpenAccess W68473552 @default.
- W68473552 hasPrimaryLocation W684735521 @default.
- W68473552 hasRelatedWork W120135115 @default.
- W68473552 hasRelatedWork W127483730 @default.
- W68473552 hasRelatedWork W1483242513 @default.
- W68473552 hasRelatedWork W1563614125 @default.
- W68473552 hasRelatedWork W1571681815 @default.
- W68473552 hasRelatedWork W1574819315 @default.
- W68473552 hasRelatedWork W1582868218 @default.
- W68473552 hasRelatedWork W1877266832 @default.
- W68473552 hasRelatedWork W2009129255 @default.
- W68473552 hasRelatedWork W2109693366 @default.
- W68473552 hasRelatedWork W2122332266 @default.
- W68473552 hasRelatedWork W2140667207 @default.
- W68473552 hasRelatedWork W2151695161 @default.
- W68473552 hasRelatedWork W2245396499 @default.
- W68473552 hasRelatedWork W2358190693 @default.
- W68473552 hasRelatedWork W2359857319 @default.
- W68473552 hasRelatedWork W24395736 @default.
- W68473552 hasRelatedWork W2084423464 @default.
- W68473552 hasRelatedWork W2142909653 @default.
- W68473552 hasRelatedWork W2873485020 @default.
- W68473552 isParatext "false" @default.
- W68473552 isRetracted "false" @default.
- W68473552 magId "68473552" @default.
- W68473552 workType "article" @default.