Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152768051> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2152768051 endingPage "229" @default.
- W2152768051 startingPage "215" @default.
- W2152768051 abstract "Sharing graphs are a way of representing linear logic proof-nets in such a way that their reduction never duplicates a redex. In their usual presentations, they present a problem of coherence: if the proof-net N reduces by standard cut-elimination to N′, then, by reducing the sharing graph of N we do not obtain the sharing graph of N′. We solve this problem by changing the way the information is coded into sharing graphs and introducing a new reduction rule (absorption). The rewriting system is confluent and terminating." @default.
- W2152768051 created "2016-06-24" @default.
- W2152768051 creator A5026669806 @default.
- W2152768051 creator A5060055067 @default.
- W2152768051 creator A5086707385 @default.
- W2152768051 date "1996-01-01" @default.
- W2152768051 modified "2023-09-23" @default.
- W2152768051 title "Coherence for sharing proof nets" @default.
- W2152768051 cites W1566288082 @default.
- W2152768051 cites W1627136436 @default.
- W2152768051 cites W1980647766 @default.
- W2152768051 cites W2015890451 @default.
- W2152768051 cites W2063179190 @default.
- W2152768051 cites W2911865844 @default.
- W2152768051 cites W42311145 @default.
- W2152768051 cites W4251590547 @default.
- W2152768051 doi "https://doi.org/10.1007/3-540-61464-8_54" @default.
- W2152768051 hasPublicationYear "1996" @default.
- W2152768051 type Work @default.
- W2152768051 sameAs 2152768051 @default.
- W2152768051 citedByCount "8" @default.
- W2152768051 countsByYear W21527680512012 @default.
- W2152768051 countsByYear W21527680512013 @default.
- W2152768051 countsByYear W21527680512021 @default.
- W2152768051 crossrefType "book-chapter" @default.
- W2152768051 hasAuthorship W2152768051A5026669806 @default.
- W2152768051 hasAuthorship W2152768051A5060055067 @default.
- W2152768051 hasAuthorship W2152768051A5086707385 @default.
- W2152768051 hasBestOaLocation W21527680512 @default.
- W2152768051 hasConcept C105795698 @default.
- W2152768051 hasConcept C111335779 @default.
- W2152768051 hasConcept C111919701 @default.
- W2152768051 hasConcept C11413529 @default.
- W2152768051 hasConcept C124978682 @default.
- W2152768051 hasConcept C132525143 @default.
- W2152768051 hasConcept C154690210 @default.
- W2152768051 hasConcept C199360897 @default.
- W2152768051 hasConcept C2524010 @default.
- W2152768051 hasConcept C2781181686 @default.
- W2152768051 hasConcept C28077239 @default.
- W2152768051 hasConcept C33923547 @default.
- W2152768051 hasConcept C41008148 @default.
- W2152768051 hasConcept C42383842 @default.
- W2152768051 hasConcept C80444323 @default.
- W2152768051 hasConcept C97042676 @default.
- W2152768051 hasConceptScore W2152768051C105795698 @default.
- W2152768051 hasConceptScore W2152768051C111335779 @default.
- W2152768051 hasConceptScore W2152768051C111919701 @default.
- W2152768051 hasConceptScore W2152768051C11413529 @default.
- W2152768051 hasConceptScore W2152768051C124978682 @default.
- W2152768051 hasConceptScore W2152768051C132525143 @default.
- W2152768051 hasConceptScore W2152768051C154690210 @default.
- W2152768051 hasConceptScore W2152768051C199360897 @default.
- W2152768051 hasConceptScore W2152768051C2524010 @default.
- W2152768051 hasConceptScore W2152768051C2781181686 @default.
- W2152768051 hasConceptScore W2152768051C28077239 @default.
- W2152768051 hasConceptScore W2152768051C33923547 @default.
- W2152768051 hasConceptScore W2152768051C41008148 @default.
- W2152768051 hasConceptScore W2152768051C42383842 @default.
- W2152768051 hasConceptScore W2152768051C80444323 @default.
- W2152768051 hasConceptScore W2152768051C97042676 @default.
- W2152768051 hasLocation W21527680511 @default.
- W2152768051 hasLocation W21527680512 @default.
- W2152768051 hasOpenAccess W2152768051 @default.
- W2152768051 hasPrimaryLocation W21527680511 @default.
- W2152768051 hasRelatedWork W1553954213 @default.
- W2152768051 hasRelatedWork W1627136436 @default.
- W2152768051 hasRelatedWork W1952931766 @default.
- W2152768051 hasRelatedWork W1964255058 @default.
- W2152768051 hasRelatedWork W1980647766 @default.
- W2152768051 hasRelatedWork W2010239186 @default.
- W2152768051 hasRelatedWork W2024875518 @default.
- W2152768051 hasRelatedWork W2030082723 @default.
- W2152768051 hasRelatedWork W2063179190 @default.
- W2152768051 hasRelatedWork W2078807176 @default.
- W2152768051 hasRelatedWork W2092727913 @default.
- W2152768051 hasRelatedWork W2165223420 @default.
- W2152768051 hasRelatedWork W2182351881 @default.
- W2152768051 hasRelatedWork W2184633425 @default.
- W2152768051 hasRelatedWork W2186970124 @default.
- W2152768051 hasRelatedWork W2398403423 @default.
- W2152768051 hasRelatedWork W2759159410 @default.
- W2152768051 hasRelatedWork W2911865844 @default.
- W2152768051 hasRelatedWork W3021154409 @default.
- W2152768051 hasRelatedWork W42311145 @default.
- W2152768051 isParatext "false" @default.
- W2152768051 isRetracted "false" @default.
- W2152768051 magId "2152768051" @default.
- W2152768051 workType "book-chapter" @default.