Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296305846> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W4296305846 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.
- W4296305846 created "2022-09-19" @default.
- W4296305846 creator A5016539119 @default.
- W4296305846 creator A5021854785 @default.
- W4296305846 creator A5027212883 @default.
- W4296305846 creator A5080230891 @default.
- W4296305846 date "2016-08-12" @default.
- W4296305846 modified "2023-10-16" @default.
- W4296305846 title "Nominal Unification of Higher Order Expressions with Recursive Let" @default.
- W4296305846 doi "https://doi.org/10.48550/arxiv.1608.03771" @default.
- W4296305846 hasPublicationYear "2016" @default.
- W4296305846 type Work @default.
- W4296305846 citedByCount "0" @default.
- W4296305846 crossrefType "posted-content" @default.
- W4296305846 hasAuthorship W4296305846A5016539119 @default.
- W4296305846 hasAuthorship W4296305846A5021854785 @default.
- W4296305846 hasAuthorship W4296305846A5027212883 @default.
- W4296305846 hasAuthorship W4296305846A5080230891 @default.
- W4296305846 hasBestOaLocation W42963058461 @default.
- W4296305846 hasLocation W42963058461 @default.
- W4296305846 hasLocation W42963058462 @default.
- W4296305846 hasLocation W42963058463 @default.
- W4296305846 hasOpenAccess W4296305846 @default.
- W4296305846 hasPrimaryLocation W42963058461 @default.
- W4296305846 hasRelatedWork W2010426438 @default.
- W4296305846 hasRelatedWork W2031929504 @default.
- W4296305846 hasRelatedWork W2147201307 @default.
- W4296305846 hasRelatedWork W2150075045 @default.
- W4296305846 hasRelatedWork W2260035625 @default.
- W4296305846 hasRelatedWork W2579720493 @default.
- W4296305846 hasRelatedWork W2798321768 @default.
- W4296305846 hasRelatedWork W2963744921 @default.
- W4296305846 hasRelatedWork W2976797620 @default.
- W4296305846 hasRelatedWork W3128176748 @default.
- W4296305846 isParatext "false" @default.
- W4296305846 isRetracted "false" @default.
- W4296305846 workType "article" @default.