Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596469673> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1596469673 endingPage "236" @default.
- W1596469673 startingPage "222" @default.
- W1596469673 abstract "Proof-search (the basis of logic programming) with multiplicative inference rules, such as linear logic's ⊗R and '8L, is problematic because of the required non-deterministic splitting of resources. Similarly, searching with additive rules such as &L and ⊕R requires a non-deterministic choice between two formulae. Many strategies which resolve such non-determinism, either locally or globally, are available. We present a characterization of a range of strategies for distributing and selecting resources in linear sequent calculus proof-search via a sequent calculus annotated with Boolean constraints. Strategies are characterized by calculations of solutions of sets of Boolean equations generated by searches. Our characterization encompasses lazy (or local), eager (or global) and intermediate (mixed local and global) strategies." @default.
- W1596469673 created "2016-06-24" @default.
- W1596469673 creator A5013218535 @default.
- W1596469673 creator A5061229280 @default.
- W1596469673 date "1997-01-01" @default.
- W1596469673 modified "2023-09-26" @default.
- W1596469673 title "Resource-distribution via Boolean constraints" @default.
- W1596469673 cites W1492862327 @default.
- W1596469673 cites W1538632042 @default.
- W1596469673 cites W1968027005 @default.
- W1596469673 cites W2039977878 @default.
- W1596469673 cites W2070324762 @default.
- W1596469673 cites W2094047447 @default.
- W1596469673 cites W2106458801 @default.
- W1596469673 cites W2911865844 @default.
- W1596469673 cites W71891286 @default.
- W1596469673 doi "https://doi.org/10.1007/3-540-63104-6_21" @default.
- W1596469673 hasPublicationYear "1997" @default.
- W1596469673 type Work @default.
- W1596469673 sameAs 1596469673 @default.
- W1596469673 citedByCount "20" @default.
- W1596469673 countsByYear W15964696732023 @default.
- W1596469673 crossrefType "book-chapter" @default.
- W1596469673 hasAuthorship W1596469673A5013218535 @default.
- W1596469673 hasAuthorship W1596469673A5061229280 @default.
- W1596469673 hasConcept C108710211 @default.
- W1596469673 hasConcept C118615104 @default.
- W1596469673 hasConcept C134306372 @default.
- W1596469673 hasConcept C154945302 @default.
- W1596469673 hasConcept C159985019 @default.
- W1596469673 hasConcept C171250308 @default.
- W1596469673 hasConcept C192562407 @default.
- W1596469673 hasConcept C204323151 @default.
- W1596469673 hasConcept C2524010 @default.
- W1596469673 hasConcept C2780841128 @default.
- W1596469673 hasConcept C28077239 @default.
- W1596469673 hasConcept C33923547 @default.
- W1596469673 hasConcept C3746660 @default.
- W1596469673 hasConcept C41008148 @default.
- W1596469673 hasConcept C42747912 @default.
- W1596469673 hasConcept C65880906 @default.
- W1596469673 hasConcept C80444323 @default.
- W1596469673 hasConcept C89421646 @default.
- W1596469673 hasConceptScore W1596469673C108710211 @default.
- W1596469673 hasConceptScore W1596469673C118615104 @default.
- W1596469673 hasConceptScore W1596469673C134306372 @default.
- W1596469673 hasConceptScore W1596469673C154945302 @default.
- W1596469673 hasConceptScore W1596469673C159985019 @default.
- W1596469673 hasConceptScore W1596469673C171250308 @default.
- W1596469673 hasConceptScore W1596469673C192562407 @default.
- W1596469673 hasConceptScore W1596469673C204323151 @default.
- W1596469673 hasConceptScore W1596469673C2524010 @default.
- W1596469673 hasConceptScore W1596469673C2780841128 @default.
- W1596469673 hasConceptScore W1596469673C28077239 @default.
- W1596469673 hasConceptScore W1596469673C33923547 @default.
- W1596469673 hasConceptScore W1596469673C3746660 @default.
- W1596469673 hasConceptScore W1596469673C41008148 @default.
- W1596469673 hasConceptScore W1596469673C42747912 @default.
- W1596469673 hasConceptScore W1596469673C65880906 @default.
- W1596469673 hasConceptScore W1596469673C80444323 @default.
- W1596469673 hasConceptScore W1596469673C89421646 @default.
- W1596469673 hasLocation W15964696731 @default.
- W1596469673 hasOpenAccess W1596469673 @default.
- W1596469673 hasPrimaryLocation W15964696731 @default.
- W1596469673 hasRelatedWork W117036793 @default.
- W1596469673 hasRelatedWork W1508809299 @default.
- W1596469673 hasRelatedWork W1551302556 @default.
- W1596469673 hasRelatedWork W1590710253 @default.
- W1596469673 hasRelatedWork W1836554196 @default.
- W1596469673 hasRelatedWork W2096970061 @default.
- W1596469673 hasRelatedWork W2124344212 @default.
- W1596469673 hasRelatedWork W2134137673 @default.
- W1596469673 hasRelatedWork W2163170048 @default.
- W1596469673 hasRelatedWork W2166879872 @default.
- W1596469673 isParatext "false" @default.
- W1596469673 isRetracted "false" @default.
- W1596469673 magId "1596469673" @default.
- W1596469673 workType "book-chapter" @default.