Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887793081> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2887793081 startingPage "17" @default.
- W2887793081 abstract "We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the form of higher-order patterns. The problem is finitary: the minimal complete set of generalizations contains finitely many elements. We define the notion of optimal solution and investigate special fragments of the problem for which the optimal solution can be computed in linear or polynomial time." @default.
- W2887793081 created "2018-08-22" @default.
- W2887793081 creator A5046504787 @default.
- W2887793081 creator A5080230891 @default.
- W2887793081 date "2018-01-01" @default.
- W2887793081 modified "2023-09-23" @default.
- W2887793081 title "Higher-Order Equational Pattern Anti-Unification." @default.
- W2887793081 hasPublicationYear "2018" @default.
- W2887793081 type Work @default.
- W2887793081 sameAs 2887793081 @default.
- W2887793081 citedByCount "0" @default.
- W2887793081 crossrefType "journal-article" @default.
- W2887793081 hasAuthorship W2887793081A5046504787 @default.
- W2887793081 hasAuthorship W2887793081A5080230891 @default.
- W2887793081 hasConcept C10138342 @default.
- W2887793081 hasConcept C118615104 @default.
- W2887793081 hasConcept C134306372 @default.
- W2887793081 hasConcept C136119220 @default.
- W2887793081 hasConcept C159423971 @default.
- W2887793081 hasConcept C162324750 @default.
- W2887793081 hasConcept C177264268 @default.
- W2887793081 hasConcept C182306322 @default.
- W2887793081 hasConcept C183778304 @default.
- W2887793081 hasConcept C199360897 @default.
- W2887793081 hasConcept C202444582 @default.
- W2887793081 hasConcept C2778003309 @default.
- W2887793081 hasConcept C33923547 @default.
- W2887793081 hasConcept C41008148 @default.
- W2887793081 hasConcept C90119067 @default.
- W2887793081 hasConcept C96146094 @default.
- W2887793081 hasConceptScore W2887793081C10138342 @default.
- W2887793081 hasConceptScore W2887793081C118615104 @default.
- W2887793081 hasConceptScore W2887793081C134306372 @default.
- W2887793081 hasConceptScore W2887793081C136119220 @default.
- W2887793081 hasConceptScore W2887793081C159423971 @default.
- W2887793081 hasConceptScore W2887793081C162324750 @default.
- W2887793081 hasConceptScore W2887793081C177264268 @default.
- W2887793081 hasConceptScore W2887793081C182306322 @default.
- W2887793081 hasConceptScore W2887793081C183778304 @default.
- W2887793081 hasConceptScore W2887793081C199360897 @default.
- W2887793081 hasConceptScore W2887793081C202444582 @default.
- W2887793081 hasConceptScore W2887793081C2778003309 @default.
- W2887793081 hasConceptScore W2887793081C33923547 @default.
- W2887793081 hasConceptScore W2887793081C41008148 @default.
- W2887793081 hasConceptScore W2887793081C90119067 @default.
- W2887793081 hasConceptScore W2887793081C96146094 @default.
- W2887793081 hasLocation W28877930811 @default.
- W2887793081 hasOpenAccess W2887793081 @default.
- W2887793081 hasPrimaryLocation W28877930811 @default.
- W2887793081 hasRelatedWork W130884383 @default.
- W2887793081 hasRelatedWork W1491550778 @default.
- W2887793081 hasRelatedWork W1495260436 @default.
- W2887793081 hasRelatedWork W1508758721 @default.
- W2887793081 hasRelatedWork W1509668122 @default.
- W2887793081 hasRelatedWork W1515150570 @default.
- W2887793081 hasRelatedWork W1516645628 @default.
- W2887793081 hasRelatedWork W1529173292 @default.
- W2887793081 hasRelatedWork W1543811964 @default.
- W2887793081 hasRelatedWork W1544708439 @default.
- W2887793081 hasRelatedWork W1567516333 @default.
- W2887793081 hasRelatedWork W1692052839 @default.
- W2887793081 hasRelatedWork W1819331349 @default.
- W2887793081 hasRelatedWork W2005100064 @default.
- W2887793081 hasRelatedWork W2048906114 @default.
- W2887793081 hasRelatedWork W2081174735 @default.
- W2887793081 hasRelatedWork W2145224393 @default.
- W2887793081 hasRelatedWork W2620989609 @default.
- W2887793081 hasRelatedWork W3105392254 @default.
- W2887793081 hasRelatedWork W3108709602 @default.
- W2887793081 isParatext "false" @default.
- W2887793081 isRetracted "false" @default.
- W2887793081 magId "2887793081" @default.
- W2887793081 workType "article" @default.