Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302143> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4384302143 abstract "We study the polyregular string-to-string functions, which are certain functions of polynomial output size that can be described using automata and logic. We describe a system of combinators that generates exactly these functions. Unlike previous systems, the present system includes an iteration mechanism, namely fold. Although unrestricted fold can define all primitive recursive functions, we identify a type system (inspired by linear logic) that restricts fold so that it defines exactly the polyregular functions. We also present related systems, for quantifier-free functions as well as for linear regular functions on both strings and trees." @default.
- W4384302143 created "2023-07-15" @default.
- W4384302143 creator A5050056333 @default.
- W4384302143 date "2023-06-26" @default.
- W4384302143 modified "2023-10-17" @default.
- W4384302143 title "Folding interpretations" @default.
- W4384302143 cites W1506737980 @default.
- W4384302143 cites W1803835116 @default.
- W4384302143 cites W1978405212 @default.
- W4384302143 cites W1981870753 @default.
- W4384302143 cites W1999823887 @default.
- W4384302143 cites W2034701711 @default.
- W4384302143 cites W2053859260 @default.
- W4384302143 cites W2069436890 @default.
- W4384302143 cites W2079179697 @default.
- W4384302143 cites W2089108410 @default.
- W4384302143 cites W2101565274 @default.
- W4384302143 cites W2106181999 @default.
- W4384302143 cites W2155968038 @default.
- W4384302143 cites W2598985404 @default.
- W4384302143 cites W3030783154 @default.
- W4384302143 cites W3118137278 @default.
- W4384302143 cites W4235239597 @default.
- W4384302143 cites W4235600519 @default.
- W4384302143 cites W4289856124 @default.
- W4384302143 doi "https://doi.org/10.1109/lics56636.2023.10175796" @default.
- W4384302143 hasPublicationYear "2023" @default.
- W4384302143 type Work @default.
- W4384302143 citedByCount "0" @default.
- W4384302143 crossrefType "proceedings-article" @default.
- W4384302143 hasAuthorship W4384302143A5050056333 @default.
- W4384302143 hasBestOaLocation W43843021432 @default.
- W4384302143 hasConcept C112505250 @default.
- W4384302143 hasConcept C11413529 @default.
- W4384302143 hasConcept C118615104 @default.
- W4384302143 hasConcept C119599485 @default.
- W4384302143 hasConcept C127413603 @default.
- W4384302143 hasConcept C157486923 @default.
- W4384302143 hasConcept C199360897 @default.
- W4384302143 hasConcept C2776545253 @default.
- W4384302143 hasConcept C28077239 @default.
- W4384302143 hasConcept C33923547 @default.
- W4384302143 hasConcept C37914503 @default.
- W4384302143 hasConcept C41008148 @default.
- W4384302143 hasConcept C79678938 @default.
- W4384302143 hasConcept C80444323 @default.
- W4384302143 hasConceptScore W4384302143C112505250 @default.
- W4384302143 hasConceptScore W4384302143C11413529 @default.
- W4384302143 hasConceptScore W4384302143C118615104 @default.
- W4384302143 hasConceptScore W4384302143C119599485 @default.
- W4384302143 hasConceptScore W4384302143C127413603 @default.
- W4384302143 hasConceptScore W4384302143C157486923 @default.
- W4384302143 hasConceptScore W4384302143C199360897 @default.
- W4384302143 hasConceptScore W4384302143C2776545253 @default.
- W4384302143 hasConceptScore W4384302143C28077239 @default.
- W4384302143 hasConceptScore W4384302143C33923547 @default.
- W4384302143 hasConceptScore W4384302143C37914503 @default.
- W4384302143 hasConceptScore W4384302143C41008148 @default.
- W4384302143 hasConceptScore W4384302143C79678938 @default.
- W4384302143 hasConceptScore W4384302143C80444323 @default.
- W4384302143 hasLocation W43843021431 @default.
- W4384302143 hasLocation W43843021432 @default.
- W4384302143 hasOpenAccess W4384302143 @default.
- W4384302143 hasPrimaryLocation W43843021431 @default.
- W4384302143 hasRelatedWork W155242998 @default.
- W4384302143 hasRelatedWork W1561331110 @default.
- W4384302143 hasRelatedWork W1952344271 @default.
- W4384302143 hasRelatedWork W1982132104 @default.
- W4384302143 hasRelatedWork W2169867894 @default.
- W4384302143 hasRelatedWork W2949631665 @default.
- W4384302143 hasRelatedWork W2973082564 @default.
- W4384302143 hasRelatedWork W4289494644 @default.
- W4384302143 hasRelatedWork W4313464631 @default.
- W4384302143 hasRelatedWork W4321650289 @default.
- W4384302143 isParatext "false" @default.
- W4384302143 isRetracted "false" @default.
- W4384302143 workType "article" @default.