Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380357768> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4380357768 abstract "We prove that the pattern matching problem is undecidable in polymorphic lambda-calculi (as Girard's system F) and calculi supporting inductive types (as G{o}del's system T) by reducing Hilbert's tenth problem to it. More generally pattern matching is undecidable in all the calculi in which primitive recursive functions can be fairly represented in a precised sense." @default.
- W4380357768 created "2023-06-13" @default.
- W4380357768 creator A5073164575 @default.
- W4380357768 date "2023-06-09" @default.
- W4380357768 modified "2023-09-27" @default.
- W4380357768 title "The Undecidability of Pattern Matching in Calculi where Primitive Recursive Functions are Representable" @default.
- W4380357768 doi "https://doi.org/10.48550/arxiv.2306.05876" @default.
- W4380357768 hasPublicationYear "2023" @default.
- W4380357768 type Work @default.
- W4380357768 citedByCount "0" @default.
- W4380357768 crossrefType "posted-content" @default.
- W4380357768 hasAuthorship W4380357768A5073164575 @default.
- W4380357768 hasBestOaLocation W43803577681 @default.
- W4380357768 hasConcept C105795698 @default.
- W4380357768 hasConcept C114614502 @default.
- W4380357768 hasConcept C118615104 @default.
- W4380357768 hasConcept C153269930 @default.
- W4380357768 hasConcept C154690210 @default.
- W4380357768 hasConcept C165064840 @default.
- W4380357768 hasConcept C192034797 @default.
- W4380357768 hasConcept C199360897 @default.
- W4380357768 hasConcept C2982939207 @default.
- W4380357768 hasConcept C33923547 @default.
- W4380357768 hasConcept C41008148 @default.
- W4380357768 hasConcept C85955891 @default.
- W4380357768 hasConcept C9986523 @default.
- W4380357768 hasConceptScore W4380357768C105795698 @default.
- W4380357768 hasConceptScore W4380357768C114614502 @default.
- W4380357768 hasConceptScore W4380357768C118615104 @default.
- W4380357768 hasConceptScore W4380357768C153269930 @default.
- W4380357768 hasConceptScore W4380357768C154690210 @default.
- W4380357768 hasConceptScore W4380357768C165064840 @default.
- W4380357768 hasConceptScore W4380357768C192034797 @default.
- W4380357768 hasConceptScore W4380357768C199360897 @default.
- W4380357768 hasConceptScore W4380357768C2982939207 @default.
- W4380357768 hasConceptScore W4380357768C33923547 @default.
- W4380357768 hasConceptScore W4380357768C41008148 @default.
- W4380357768 hasConceptScore W4380357768C85955891 @default.
- W4380357768 hasConceptScore W4380357768C9986523 @default.
- W4380357768 hasLocation W43803577681 @default.
- W4380357768 hasOpenAccess W4380357768 @default.
- W4380357768 hasPrimaryLocation W43803577681 @default.
- W4380357768 hasRelatedWork W2015666295 @default.
- W4380357768 hasRelatedWork W2058952316 @default.
- W4380357768 hasRelatedWork W2072809974 @default.
- W4380357768 hasRelatedWork W2127261008 @default.
- W4380357768 hasRelatedWork W2133209493 @default.
- W4380357768 hasRelatedWork W2226598862 @default.
- W4380357768 hasRelatedWork W2326563584 @default.
- W4380357768 hasRelatedWork W2532450662 @default.
- W4380357768 hasRelatedWork W2549889701 @default.
- W4380357768 hasRelatedWork W3099922764 @default.
- W4380357768 isParatext "false" @default.
- W4380357768 isRetracted "false" @default.
- W4380357768 workType "article" @default.