Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500475867> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1500475867 endingPage "386" @default.
- W1500475867 startingPage "371" @default.
- W1500475867 abstract "Higher-order pattern unification problems arise often in computations within systems such as Twelf, λ Prolog and Isabelle. An important characteristic of such problems is that they are given by equations appearing under a prefix of alternating universal and existential quantifiers. Most existing algorithms for solving these problems assume that such prefixes are simplified to a ∀ ∃ ∀ form by an a priori application of a transformation known as raising. There are drawbacks to this approach. Mixed quantifier prefixes typically manifest themselves in the course of computation, thereby requiring a dynamic form of preprocessing that is difficult to support in low-level implementations. Moreover, raising may be redundant in many cases and its effect may have to be undone by a subsequent pruning transformation. We propose a method to overcome these difficulties. In particular, a unification algorithm is described that proceeds by recursively descending through the structures of terms, performing raising and other transformations on-the-fly and only as needed." @default.
- W1500475867 created "2016-06-24" @default.
- W1500475867 creator A5066713735 @default.
- W1500475867 creator A5080344559 @default.
- W1500475867 date "2005-01-01" @default.
- W1500475867 modified "2023-09-24" @default.
- W1500475867 title "Practical Higher-Order Pattern Unification with On-the-Fly Raising" @default.
- W1500475867 cites W1537833215 @default.
- W1500475867 cites W1579694940 @default.
- W1500475867 cites W1727609483 @default.
- W1500475867 cites W2034676877 @default.
- W1500475867 cites W2050702141 @default.
- W1500475867 cites W2067330580 @default.
- W1500475867 cites W2075352622 @default.
- W1500475867 cites W2092768924 @default.
- W1500475867 cites W2099089064 @default.
- W1500475867 cites W2107463944 @default.
- W1500475867 cites W2107923385 @default.
- W1500475867 cites W2132119724 @default.
- W1500475867 cites W4250846042 @default.
- W1500475867 doi "https://doi.org/10.1007/11562931_28" @default.
- W1500475867 hasPublicationYear "2005" @default.
- W1500475867 type Work @default.
- W1500475867 sameAs 1500475867 @default.
- W1500475867 citedByCount "11" @default.
- W1500475867 countsByYear W15004758672013 @default.
- W1500475867 countsByYear W15004758672016 @default.
- W1500475867 countsByYear W15004758672021 @default.
- W1500475867 crossrefType "book-chapter" @default.
- W1500475867 hasAuthorship W1500475867A5066713735 @default.
- W1500475867 hasAuthorship W1500475867A5080344559 @default.
- W1500475867 hasConcept C104317684 @default.
- W1500475867 hasConcept C11413529 @default.
- W1500475867 hasConcept C138885662 @default.
- W1500475867 hasConcept C141603448 @default.
- W1500475867 hasConcept C168773036 @default.
- W1500475867 hasConcept C185592680 @default.
- W1500475867 hasConcept C199360897 @default.
- W1500475867 hasConcept C204241405 @default.
- W1500475867 hasConcept C2524010 @default.
- W1500475867 hasConcept C2780589192 @default.
- W1500475867 hasConcept C33923547 @default.
- W1500475867 hasConcept C34736171 @default.
- W1500475867 hasConcept C41008148 @default.
- W1500475867 hasConcept C41895202 @default.
- W1500475867 hasConcept C45374587 @default.
- W1500475867 hasConcept C55493867 @default.
- W1500475867 hasConcept C80444323 @default.
- W1500475867 hasConcept C81721847 @default.
- W1500475867 hasConcept C96146094 @default.
- W1500475867 hasConceptScore W1500475867C104317684 @default.
- W1500475867 hasConceptScore W1500475867C11413529 @default.
- W1500475867 hasConceptScore W1500475867C138885662 @default.
- W1500475867 hasConceptScore W1500475867C141603448 @default.
- W1500475867 hasConceptScore W1500475867C168773036 @default.
- W1500475867 hasConceptScore W1500475867C185592680 @default.
- W1500475867 hasConceptScore W1500475867C199360897 @default.
- W1500475867 hasConceptScore W1500475867C204241405 @default.
- W1500475867 hasConceptScore W1500475867C2524010 @default.
- W1500475867 hasConceptScore W1500475867C2780589192 @default.
- W1500475867 hasConceptScore W1500475867C33923547 @default.
- W1500475867 hasConceptScore W1500475867C34736171 @default.
- W1500475867 hasConceptScore W1500475867C41008148 @default.
- W1500475867 hasConceptScore W1500475867C41895202 @default.
- W1500475867 hasConceptScore W1500475867C45374587 @default.
- W1500475867 hasConceptScore W1500475867C55493867 @default.
- W1500475867 hasConceptScore W1500475867C80444323 @default.
- W1500475867 hasConceptScore W1500475867C81721847 @default.
- W1500475867 hasConceptScore W1500475867C96146094 @default.
- W1500475867 hasLocation W15004758671 @default.
- W1500475867 hasOpenAccess W1500475867 @default.
- W1500475867 hasPrimaryLocation W15004758671 @default.
- W1500475867 hasRelatedWork W1516362967 @default.
- W1500475867 hasRelatedWork W1560895966 @default.
- W1500475867 hasRelatedWork W1822809263 @default.
- W1500475867 hasRelatedWork W2112962394 @default.
- W1500475867 hasRelatedWork W2168657248 @default.
- W1500475867 hasRelatedWork W4210498713 @default.
- W1500475867 hasRelatedWork W4214833522 @default.
- W1500475867 hasRelatedWork W4296905307 @default.
- W1500475867 hasRelatedWork W55673257 @default.
- W1500475867 hasRelatedWork W2473250120 @default.
- W1500475867 isParatext "false" @default.
- W1500475867 isRetracted "false" @default.
- W1500475867 magId "1500475867" @default.
- W1500475867 workType "book-chapter" @default.