Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539901982> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1539901982 abstract "We study the notion of feasible functional of finite type. For type level 2, we consider the oracle Turing machine model, and examine Mehlhorn's class of feasible functionals for this model. We give a new characterization of Mehlhorn's class, using a generalization of polynomials to type 2, and consider extensions of Mehlhorn's class. For higher type levels, we introduce a new computational model using a programming language approach, and define a class of feasible functionals for this model which is a generalization of the type 2 feasible functionals to higher types." @default.
- W1539901982 created "2016-06-24" @default.
- W1539901982 creator A5080474978 @default.
- W1539901982 date "1992-01-01" @default.
- W1539901982 modified "2023-09-23" @default.
- W1539901982 title "Feasible computation in higher types" @default.
- W1539901982 hasPublicationYear "1992" @default.
- W1539901982 type Work @default.
- W1539901982 sameAs 1539901982 @default.
- W1539901982 citedByCount "10" @default.
- W1539901982 crossrefType "journal-article" @default.
- W1539901982 hasAuthorship W1539901982A5080474978 @default.
- W1539901982 hasConcept C11413529 @default.
- W1539901982 hasConcept C134306372 @default.
- W1539901982 hasConcept C136119220 @default.
- W1539901982 hasConcept C154945302 @default.
- W1539901982 hasConcept C171250308 @default.
- W1539901982 hasConcept C177148314 @default.
- W1539901982 hasConcept C18903297 @default.
- W1539901982 hasConcept C192562407 @default.
- W1539901982 hasConcept C199360897 @default.
- W1539901982 hasConcept C202444582 @default.
- W1539901982 hasConcept C2777212361 @default.
- W1539901982 hasConcept C2777299769 @default.
- W1539901982 hasConcept C2780841128 @default.
- W1539901982 hasConcept C29248071 @default.
- W1539901982 hasConcept C33923547 @default.
- W1539901982 hasConcept C41008148 @default.
- W1539901982 hasConcept C45374587 @default.
- W1539901982 hasConcept C55166926 @default.
- W1539901982 hasConcept C80444323 @default.
- W1539901982 hasConcept C86803240 @default.
- W1539901982 hasConceptScore W1539901982C11413529 @default.
- W1539901982 hasConceptScore W1539901982C134306372 @default.
- W1539901982 hasConceptScore W1539901982C136119220 @default.
- W1539901982 hasConceptScore W1539901982C154945302 @default.
- W1539901982 hasConceptScore W1539901982C171250308 @default.
- W1539901982 hasConceptScore W1539901982C177148314 @default.
- W1539901982 hasConceptScore W1539901982C18903297 @default.
- W1539901982 hasConceptScore W1539901982C192562407 @default.
- W1539901982 hasConceptScore W1539901982C199360897 @default.
- W1539901982 hasConceptScore W1539901982C202444582 @default.
- W1539901982 hasConceptScore W1539901982C2777212361 @default.
- W1539901982 hasConceptScore W1539901982C2777299769 @default.
- W1539901982 hasConceptScore W1539901982C2780841128 @default.
- W1539901982 hasConceptScore W1539901982C29248071 @default.
- W1539901982 hasConceptScore W1539901982C33923547 @default.
- W1539901982 hasConceptScore W1539901982C41008148 @default.
- W1539901982 hasConceptScore W1539901982C45374587 @default.
- W1539901982 hasConceptScore W1539901982C55166926 @default.
- W1539901982 hasConceptScore W1539901982C80444323 @default.
- W1539901982 hasConceptScore W1539901982C86803240 @default.
- W1539901982 hasLocation W15399019821 @default.
- W1539901982 hasOpenAccess W1539901982 @default.
- W1539901982 hasPrimaryLocation W15399019821 @default.
- W1539901982 hasRelatedWork W151251173 @default.
- W1539901982 hasRelatedWork W1526907582 @default.
- W1539901982 hasRelatedWork W1545365361 @default.
- W1539901982 hasRelatedWork W1608883294 @default.
- W1539901982 hasRelatedWork W1861280987 @default.
- W1539901982 hasRelatedWork W1965442792 @default.
- W1539901982 hasRelatedWork W1980256844 @default.
- W1539901982 hasRelatedWork W1981324778 @default.
- W1539901982 hasRelatedWork W1982265314 @default.
- W1539901982 hasRelatedWork W2004826968 @default.
- W1539901982 hasRelatedWork W2007270285 @default.
- W1539901982 hasRelatedWork W2033831013 @default.
- W1539901982 hasRelatedWork W2068108288 @default.
- W1539901982 hasRelatedWork W2069792094 @default.
- W1539901982 hasRelatedWork W2075380453 @default.
- W1539901982 hasRelatedWork W2093400121 @default.
- W1539901982 hasRelatedWork W2108005368 @default.
- W1539901982 hasRelatedWork W2114124105 @default.
- W1539901982 hasRelatedWork W2950007347 @default.
- W1539901982 hasRelatedWork W3090554654 @default.
- W1539901982 isParatext "false" @default.
- W1539901982 isRetracted "false" @default.
- W1539901982 magId "1539901982" @default.
- W1539901982 workType "article" @default.