Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301694410> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4301694410 abstract "Constructor rewriting systems are said to be cons-free if any constructor term occurring in the rhs of a rule must be a subterm of the lhs of the rule. Roughly, such systems cannot build new data structures during their evaluation. In earlier work by several authors, (typed) cons-free systems have been used to characterise complexity classes such as polynomial or exponential time or space by varying the type orders, and the recursion forms allowed. This paper concerns the construction of interpreters for cons-free term rewriting. Due to their connection with proofs by diagonalisation, interpreters may be of use when studying separation results between complexity classes in implicit computational complexity theory. We are interested in interpreters of type order $k > 1$ that can interpret any term of strictly lower type order; while this gives us a well-known separation result E$^k$TIME $subseteq$ E$^{k+1}$TIME, the hope is that more refined interpreters with syntactically limited constraints can be used to obtain a notion of faux diagonalisation and be used to attack open problems in complexity theory." @default.
- W4301694410 created "2022-10-05" @default.
- W4301694410 creator A5001880661 @default.
- W4301694410 creator A5024664299 @default.
- W4301694410 date "2017-11-09" @default.
- W4301694410 modified "2023-09-30" @default.
- W4301694410 title "Higher-order Cons-free Interpreters" @default.
- W4301694410 doi "https://doi.org/10.48550/arxiv.1711.03407" @default.
- W4301694410 hasPublicationYear "2017" @default.
- W4301694410 type Work @default.
- W4301694410 citedByCount "0" @default.
- W4301694410 crossrefType "posted-content" @default.
- W4301694410 hasAuthorship W4301694410A5001880661 @default.
- W4301694410 hasAuthorship W4301694410A5024664299 @default.
- W4301694410 hasBestOaLocation W43016944101 @default.
- W4301694410 hasConcept C10138342 @default.
- W4301694410 hasConcept C108710211 @default.
- W4301694410 hasConcept C121332964 @default.
- W4301694410 hasConcept C122783720 @default.
- W4301694410 hasConcept C134306372 @default.
- W4301694410 hasConcept C154690210 @default.
- W4301694410 hasConcept C162324750 @default.
- W4301694410 hasConcept C168773036 @default.
- W4301694410 hasConcept C182306322 @default.
- W4301694410 hasConcept C18903297 @default.
- W4301694410 hasConcept C199343813 @default.
- W4301694410 hasConcept C199360897 @default.
- W4301694410 hasConcept C2524010 @default.
- W4301694410 hasConcept C2777299769 @default.
- W4301694410 hasConcept C2777686260 @default.
- W4301694410 hasConcept C33923547 @default.
- W4301694410 hasConcept C41008148 @default.
- W4301694410 hasConcept C61797465 @default.
- W4301694410 hasConcept C62520636 @default.
- W4301694410 hasConcept C71924100 @default.
- W4301694410 hasConcept C86803240 @default.
- W4301694410 hasConcept C90119067 @default.
- W4301694410 hasConceptScore W4301694410C10138342 @default.
- W4301694410 hasConceptScore W4301694410C108710211 @default.
- W4301694410 hasConceptScore W4301694410C121332964 @default.
- W4301694410 hasConceptScore W4301694410C122783720 @default.
- W4301694410 hasConceptScore W4301694410C134306372 @default.
- W4301694410 hasConceptScore W4301694410C154690210 @default.
- W4301694410 hasConceptScore W4301694410C162324750 @default.
- W4301694410 hasConceptScore W4301694410C168773036 @default.
- W4301694410 hasConceptScore W4301694410C182306322 @default.
- W4301694410 hasConceptScore W4301694410C18903297 @default.
- W4301694410 hasConceptScore W4301694410C199343813 @default.
- W4301694410 hasConceptScore W4301694410C199360897 @default.
- W4301694410 hasConceptScore W4301694410C2524010 @default.
- W4301694410 hasConceptScore W4301694410C2777299769 @default.
- W4301694410 hasConceptScore W4301694410C2777686260 @default.
- W4301694410 hasConceptScore W4301694410C33923547 @default.
- W4301694410 hasConceptScore W4301694410C41008148 @default.
- W4301694410 hasConceptScore W4301694410C61797465 @default.
- W4301694410 hasConceptScore W4301694410C62520636 @default.
- W4301694410 hasConceptScore W4301694410C71924100 @default.
- W4301694410 hasConceptScore W4301694410C86803240 @default.
- W4301694410 hasConceptScore W4301694410C90119067 @default.
- W4301694410 hasLocation W43016944101 @default.
- W4301694410 hasOpenAccess W4301694410 @default.
- W4301694410 hasPrimaryLocation W43016944101 @default.
- W4301694410 hasRelatedWork W1563061915 @default.
- W4301694410 hasRelatedWork W1965681098 @default.
- W4301694410 hasRelatedWork W2054939514 @default.
- W4301694410 hasRelatedWork W2090855107 @default.
- W4301694410 hasRelatedWork W2407690295 @default.
- W4301694410 hasRelatedWork W2767780952 @default.
- W4301694410 hasRelatedWork W2949932651 @default.
- W4301694410 hasRelatedWork W3108411030 @default.
- W4301694410 hasRelatedWork W4210639694 @default.
- W4301694410 hasRelatedWork W4289305122 @default.
- W4301694410 isParatext "false" @default.
- W4301694410 isRetracted "false" @default.
- W4301694410 workType "article" @default.