Matches in SemOpenAlex for { <https://semopenalex.org/work/W1830422832> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1830422832 abstract "Relations between such concepts as reducibility, universality, hardness, completeness, and deductibility are studied. The aim is to build a flexible and comprehensive theoretical foundations for different techniques and ideas used in computer science. It is demonstrated that: concepts of universality of algorithms and classes of algorithms are based on the construction of reduction of algorithms; concepts of hardness and completeness of problems are based on the construction of reduction of problems; all considered concepts of reduction, as well as deduction in logic are kinds of reduction of abstract properties. The Church-Turing Thesis, which states universality of the class of all Turing machines, is considered in a mathematical setting as a theorem proved under definite conditions." @default.
- W1830422832 created "2016-06-24" @default.
- W1830422832 creator A5000852304 @default.
- W1830422832 date "2007-01-01" @default.
- W1830422832 modified "2023-09-25" @default.
- W1830422832 title "Universality, Reducibility, and Completeness" @default.
- W1830422832 cites W151886007 @default.
- W1830422832 cites W1585171508 @default.
- W1830422832 cites W1970543329 @default.
- W1830422832 cites W1993138363 @default.
- W1830422832 cites W2015931928 @default.
- W1830422832 cites W2033417496 @default.
- W1830422832 cites W2046967773 @default.
- W1830422832 cites W2140035418 @default.
- W1830422832 cites W4230960895 @default.
- W1830422832 doi "https://doi.org/10.1007/978-3-540-74593-8_3" @default.
- W1830422832 hasPublicationYear "2007" @default.
- W1830422832 type Work @default.
- W1830422832 sameAs 1830422832 @default.
- W1830422832 citedByCount "0" @default.
- W1830422832 crossrefType "book-chapter" @default.
- W1830422832 hasAuthorship W1830422832A5000852304 @default.
- W1830422832 hasConcept C11413529 @default.
- W1830422832 hasConcept C121332964 @default.
- W1830422832 hasConcept C134306372 @default.
- W1830422832 hasConcept C136119220 @default.
- W1830422832 hasConcept C17231256 @default.
- W1830422832 hasConcept C183992945 @default.
- W1830422832 hasConcept C199360897 @default.
- W1830422832 hasConcept C202444582 @default.
- W1830422832 hasConcept C29248071 @default.
- W1830422832 hasConcept C33923547 @default.
- W1830422832 hasConcept C41008148 @default.
- W1830422832 hasConcept C45374587 @default.
- W1830422832 hasConcept C62520636 @default.
- W1830422832 hasConcept C80444323 @default.
- W1830422832 hasConcept C9870796 @default.
- W1830422832 hasConceptScore W1830422832C11413529 @default.
- W1830422832 hasConceptScore W1830422832C121332964 @default.
- W1830422832 hasConceptScore W1830422832C134306372 @default.
- W1830422832 hasConceptScore W1830422832C136119220 @default.
- W1830422832 hasConceptScore W1830422832C17231256 @default.
- W1830422832 hasConceptScore W1830422832C183992945 @default.
- W1830422832 hasConceptScore W1830422832C199360897 @default.
- W1830422832 hasConceptScore W1830422832C202444582 @default.
- W1830422832 hasConceptScore W1830422832C29248071 @default.
- W1830422832 hasConceptScore W1830422832C33923547 @default.
- W1830422832 hasConceptScore W1830422832C41008148 @default.
- W1830422832 hasConceptScore W1830422832C45374587 @default.
- W1830422832 hasConceptScore W1830422832C62520636 @default.
- W1830422832 hasConceptScore W1830422832C80444323 @default.
- W1830422832 hasConceptScore W1830422832C9870796 @default.
- W1830422832 hasLocation W18304228321 @default.
- W1830422832 hasOpenAccess W1830422832 @default.
- W1830422832 hasPrimaryLocation W18304228321 @default.
- W1830422832 hasRelatedWork W1652311832 @default.
- W1830422832 hasRelatedWork W2118300983 @default.
- W1830422832 hasRelatedWork W2135396778 @default.
- W1830422832 hasRelatedWork W2138771787 @default.
- W1830422832 hasRelatedWork W2166247150 @default.
- W1830422832 hasRelatedWork W2243428364 @default.
- W1830422832 hasRelatedWork W2462453872 @default.
- W1830422832 hasRelatedWork W3207171446 @default.
- W1830422832 hasRelatedWork W4243252198 @default.
- W1830422832 hasRelatedWork W4245713008 @default.
- W1830422832 isParatext "false" @default.
- W1830422832 isRetracted "false" @default.
- W1830422832 magId "1830422832" @default.
- W1830422832 workType "book-chapter" @default.