Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567658240> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1567658240 abstract "Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformations and pattern recognition for automated deduction. The past few years have established the benefit of using explicit substitutions for theorem proving and higher-order unification. In this paper, we will make use of explicit substitutions to facilitate matching: we develop a second-order matching algorithm via the λσ-style of explicit substitutions. We introduce a convenient notation for matching in the λσ-calculus. This notation keeps the matching equations separated from the incremental graftings. We characterise an important class of second-order matching problems which is essential to prove termination of the algorithm. In addition, we illustrate how the algorithm works through some examples." @default.
- W1567658240 created "2016-06-24" @default.
- W1567658240 creator A5004006407 @default.
- W1567658240 creator A5031944209 @default.
- W1567658240 creator A5043206848 @default.
- W1567658240 date "2005-01-01" @default.
- W1567658240 modified "2023-09-26" @default.
- W1567658240 title "Second-Order Matching via Explicit Substitutions" @default.
- W1567658240 cites W1494812539 @default.
- W1567658240 cites W1511371610 @default.
- W1567658240 cites W1545870743 @default.
- W1567658240 cites W1988246540 @default.
- W1567658240 cites W2023051485 @default.
- W1567658240 cites W2040894779 @default.
- W1567658240 cites W2062968803 @default.
- W1567658240 cites W2083402938 @default.
- W1567658240 cites W2100738443 @default.
- W1567658240 cites W2107463944 @default.
- W1567658240 cites W2126489583 @default.
- W1567658240 cites W2132119724 @default.
- W1567658240 cites W2160173874 @default.
- W1567658240 cites W2568721247 @default.
- W1567658240 cites W4236324644 @default.
- W1567658240 cites W2038670513 @default.
- W1567658240 doi "https://doi.org/10.1007/978-3-540-32275-7_29" @default.
- W1567658240 hasPublicationYear "2005" @default.
- W1567658240 type Work @default.
- W1567658240 sameAs 1567658240 @default.
- W1567658240 citedByCount "4" @default.
- W1567658240 countsByYear W15676582402016 @default.
- W1567658240 crossrefType "book-chapter" @default.
- W1567658240 hasAuthorship W1567658240A5004006407 @default.
- W1567658240 hasAuthorship W1567658240A5031944209 @default.
- W1567658240 hasAuthorship W1567658240A5043206848 @default.
- W1567658240 hasConcept C10138342 @default.
- W1567658240 hasConcept C105795698 @default.
- W1567658240 hasConcept C11413529 @default.
- W1567658240 hasConcept C136119220 @default.
- W1567658240 hasConcept C154945302 @default.
- W1567658240 hasConcept C162324750 @default.
- W1567658240 hasConcept C165064840 @default.
- W1567658240 hasConcept C182306322 @default.
- W1567658240 hasConcept C199360897 @default.
- W1567658240 hasConcept C202444582 @default.
- W1567658240 hasConcept C206880738 @default.
- W1567658240 hasConcept C2777212361 @default.
- W1567658240 hasConcept C33923547 @default.
- W1567658240 hasConcept C41008148 @default.
- W1567658240 hasConcept C45357846 @default.
- W1567658240 hasConcept C45374587 @default.
- W1567658240 hasConcept C68859911 @default.
- W1567658240 hasConcept C80444323 @default.
- W1567658240 hasConcept C94375191 @default.
- W1567658240 hasConcept C96146094 @default.
- W1567658240 hasConceptScore W1567658240C10138342 @default.
- W1567658240 hasConceptScore W1567658240C105795698 @default.
- W1567658240 hasConceptScore W1567658240C11413529 @default.
- W1567658240 hasConceptScore W1567658240C136119220 @default.
- W1567658240 hasConceptScore W1567658240C154945302 @default.
- W1567658240 hasConceptScore W1567658240C162324750 @default.
- W1567658240 hasConceptScore W1567658240C165064840 @default.
- W1567658240 hasConceptScore W1567658240C182306322 @default.
- W1567658240 hasConceptScore W1567658240C199360897 @default.
- W1567658240 hasConceptScore W1567658240C202444582 @default.
- W1567658240 hasConceptScore W1567658240C206880738 @default.
- W1567658240 hasConceptScore W1567658240C2777212361 @default.
- W1567658240 hasConceptScore W1567658240C33923547 @default.
- W1567658240 hasConceptScore W1567658240C41008148 @default.
- W1567658240 hasConceptScore W1567658240C45357846 @default.
- W1567658240 hasConceptScore W1567658240C45374587 @default.
- W1567658240 hasConceptScore W1567658240C68859911 @default.
- W1567658240 hasConceptScore W1567658240C80444323 @default.
- W1567658240 hasConceptScore W1567658240C94375191 @default.
- W1567658240 hasConceptScore W1567658240C96146094 @default.
- W1567658240 hasLocation W15676582401 @default.
- W1567658240 hasOpenAccess W1567658240 @default.
- W1567658240 hasPrimaryLocation W15676582401 @default.
- W1567658240 hasRelatedWork W109809851 @default.
- W1567658240 hasRelatedWork W2057623054 @default.
- W1567658240 hasRelatedWork W2371447506 @default.
- W1567658240 hasRelatedWork W2386767533 @default.
- W1567658240 hasRelatedWork W2391408860 @default.
- W1567658240 hasRelatedWork W2463213813 @default.
- W1567658240 hasRelatedWork W2724157890 @default.
- W1567658240 hasRelatedWork W2748952813 @default.
- W1567658240 hasRelatedWork W3089851490 @default.
- W1567658240 hasRelatedWork W4235008738 @default.
- W1567658240 isParatext "false" @default.
- W1567658240 isRetracted "false" @default.
- W1567658240 magId "1567658240" @default.
- W1567658240 workType "book-chapter" @default.