Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952064396> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2952064396 abstract "A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems." @default.
- W2952064396 created "2019-06-27" @default.
- W2952064396 creator A5016539119 @default.
- W2952064396 creator A5021854785 @default.
- W2952064396 creator A5027212883 @default.
- W2952064396 creator A5080230891 @default.
- W2952064396 date "2016-08-12" @default.
- W2952064396 modified "2023-10-16" @default.
- W2952064396 title "Nominal Unification of Higher Order Expressions with Recursive Let" @default.
- W2952064396 cites W1506396519 @default.
- W2952064396 cites W1803721540 @default.
- W2952064396 cites W1977187614 @default.
- W2952064396 cites W2018099718 @default.
- W2952064396 cites W2030663607 @default.
- W2952064396 cites W2075352622 @default.
- W2952064396 cites W2087818742 @default.
- W2952064396 cites W2101016798 @default.
- W2952064396 cites W2116803264 @default.
- W2952064396 cites W2135359747 @default.
- W2952064396 cites W2396266074 @default.
- W2952064396 hasPublicationYear "2016" @default.
- W2952064396 type Work @default.
- W2952064396 sameAs 2952064396 @default.
- W2952064396 citedByCount "2" @default.
- W2952064396 countsByYear W29520643962017 @default.
- W2952064396 countsByYear W29520643962019 @default.
- W2952064396 crossrefType "posted-content" @default.
- W2952064396 hasAuthorship W2952064396A5016539119 @default.
- W2952064396 hasAuthorship W2952064396A5021854785 @default.
- W2952064396 hasAuthorship W2952064396A5027212883 @default.
- W2952064396 hasAuthorship W2952064396A5080230891 @default.
- W2952064396 hasConcept C10138342 @default.
- W2952064396 hasConcept C105795698 @default.
- W2952064396 hasConcept C11413529 @default.
- W2952064396 hasConcept C118615104 @default.
- W2952064396 hasConcept C134306372 @default.
- W2952064396 hasConcept C162324750 @default.
- W2952064396 hasConcept C165064840 @default.
- W2952064396 hasConcept C182306322 @default.
- W2952064396 hasConcept C199360897 @default.
- W2952064396 hasConcept C33923547 @default.
- W2952064396 hasConcept C41008148 @default.
- W2952064396 hasConcept C90119067 @default.
- W2952064396 hasConcept C96146094 @default.
- W2952064396 hasConceptScore W2952064396C10138342 @default.
- W2952064396 hasConceptScore W2952064396C105795698 @default.
- W2952064396 hasConceptScore W2952064396C11413529 @default.
- W2952064396 hasConceptScore W2952064396C118615104 @default.
- W2952064396 hasConceptScore W2952064396C134306372 @default.
- W2952064396 hasConceptScore W2952064396C162324750 @default.
- W2952064396 hasConceptScore W2952064396C165064840 @default.
- W2952064396 hasConceptScore W2952064396C182306322 @default.
- W2952064396 hasConceptScore W2952064396C199360897 @default.
- W2952064396 hasConceptScore W2952064396C33923547 @default.
- W2952064396 hasConceptScore W2952064396C41008148 @default.
- W2952064396 hasConceptScore W2952064396C90119067 @default.
- W2952064396 hasConceptScore W2952064396C96146094 @default.
- W2952064396 hasLocation W29520643961 @default.
- W2952064396 hasOpenAccess W2952064396 @default.
- W2952064396 hasPrimaryLocation W29520643961 @default.
- W2952064396 hasRelatedWork W1486217062 @default.
- W2952064396 hasRelatedWork W1489045361 @default.
- W2952064396 hasRelatedWork W1512655913 @default.
- W2952064396 hasRelatedWork W171073024 @default.
- W2952064396 hasRelatedWork W1806556628 @default.
- W2952064396 hasRelatedWork W1816937868 @default.
- W2952064396 hasRelatedWork W1971896911 @default.
- W2952064396 hasRelatedWork W1978894381 @default.
- W2952064396 hasRelatedWork W2025613610 @default.
- W2952064396 hasRelatedWork W2068651050 @default.
- W2952064396 hasRelatedWork W2139019237 @default.
- W2952064396 hasRelatedWork W2170698790 @default.
- W2952064396 hasRelatedWork W2368379187 @default.
- W2952064396 hasRelatedWork W2396134212 @default.
- W2952064396 hasRelatedWork W2897835509 @default.
- W2952064396 hasRelatedWork W291709042 @default.
- W2952064396 hasRelatedWork W2952230935 @default.
- W2952064396 hasRelatedWork W3104508146 @default.
- W2952064396 hasRelatedWork W82168598 @default.
- W2952064396 hasRelatedWork W1730674659 @default.
- W2952064396 isParatext "false" @default.
- W2952064396 isRetracted "false" @default.
- W2952064396 magId "2952064396" @default.
- W2952064396 workType "article" @default.