Matches in SemOpenAlex for { <https://semopenalex.org/work/W1888393077> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1888393077 endingPage "208" @default.
- W1888393077 startingPage "194" @default.
- W1888393077 abstract "We present a sound and complete compositional semantics, structured around certain abstractions of proof nets, for proof-search computation in a linear logic-based language. The model captures the interaction of agents in terms of the actions they engage into and of the dynamic creation of names. The model is adequate for reasoning about a notion of operational equivalence. We will also suggest how a partial order semantics can be derived from the present approach." @default.
- W1888393077 created "2016-06-24" @default.
- W1888393077 creator A5019928703 @default.
- W1888393077 creator A5067951590 @default.
- W1888393077 date "1997-01-01" @default.
- W1888393077 modified "2023-10-01" @default.
- W1888393077 title "Proof net semantics of proof search computation" @default.
- W1888393077 cites W1556158007 @default.
- W1888393077 cites W170198835 @default.
- W1888393077 cites W2010649834 @default.
- W1888393077 cites W2013535402 @default.
- W1888393077 cites W2040807747 @default.
- W1888393077 cites W2070324762 @default.
- W1888393077 cites W2079171825 @default.
- W1888393077 cites W2093111544 @default.
- W1888393077 cites W2098064994 @default.
- W1888393077 cites W2124302819 @default.
- W1888393077 doi "https://doi.org/10.1007/bfb0027011" @default.
- W1888393077 hasPublicationYear "1997" @default.
- W1888393077 type Work @default.
- W1888393077 sameAs 1888393077 @default.
- W1888393077 citedByCount "2" @default.
- W1888393077 crossrefType "book-chapter" @default.
- W1888393077 hasAuthorship W1888393077A5019928703 @default.
- W1888393077 hasAuthorship W1888393077A5067951590 @default.
- W1888393077 hasConcept C105605280 @default.
- W1888393077 hasConcept C108710211 @default.
- W1888393077 hasConcept C118615104 @default.
- W1888393077 hasConcept C156325763 @default.
- W1888393077 hasConcept C184337299 @default.
- W1888393077 hasConcept C195653647 @default.
- W1888393077 hasConcept C199360897 @default.
- W1888393077 hasConcept C2318724 @default.
- W1888393077 hasConcept C2524010 @default.
- W1888393077 hasConcept C2780069185 @default.
- W1888393077 hasConcept C28077239 @default.
- W1888393077 hasConcept C33923547 @default.
- W1888393077 hasConcept C41008148 @default.
- W1888393077 hasConcept C45374587 @default.
- W1888393077 hasConcept C80444323 @default.
- W1888393077 hasConceptScore W1888393077C105605280 @default.
- W1888393077 hasConceptScore W1888393077C108710211 @default.
- W1888393077 hasConceptScore W1888393077C118615104 @default.
- W1888393077 hasConceptScore W1888393077C156325763 @default.
- W1888393077 hasConceptScore W1888393077C184337299 @default.
- W1888393077 hasConceptScore W1888393077C195653647 @default.
- W1888393077 hasConceptScore W1888393077C199360897 @default.
- W1888393077 hasConceptScore W1888393077C2318724 @default.
- W1888393077 hasConceptScore W1888393077C2524010 @default.
- W1888393077 hasConceptScore W1888393077C2780069185 @default.
- W1888393077 hasConceptScore W1888393077C28077239 @default.
- W1888393077 hasConceptScore W1888393077C33923547 @default.
- W1888393077 hasConceptScore W1888393077C41008148 @default.
- W1888393077 hasConceptScore W1888393077C45374587 @default.
- W1888393077 hasConceptScore W1888393077C80444323 @default.
- W1888393077 hasLocation W18883930771 @default.
- W1888393077 hasOpenAccess W1888393077 @default.
- W1888393077 hasPrimaryLocation W18883930771 @default.
- W1888393077 hasRelatedWork W3184683248 @default.
- W1888393077 isParatext "false" @default.
- W1888393077 isRetracted "false" @default.
- W1888393077 magId "1888393077" @default.
- W1888393077 workType "book-chapter" @default.