Matches in SemOpenAlex for { <https://semopenalex.org/work/W883190757> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W883190757 abstract "Publisher Summary This chapter explains a method for producing reduction types in the restricted lower predicate calculus. The method addressed in the chapter is based on an appropriate description of a Semi-Thue-system in the language of the restricted lower predicate calculus. No effort has been made to optimize the resulting reduction type. A reduction type T for validity is discussed briefly. The completeness of the restricted lower predicate calculus can be expressed: there exists a Turing machine M and an initial complete configuration Co of M and a function C that associates effectively with every formula α a complete configuration C(α ) of M . The chapter also presents an application to the decision problem." @default.
- W883190757 created "2016-06-24" @default.
- W883190757 creator A5031520265 @default.
- W883190757 creator A5079604719 @default.
- W883190757 date "1965-01-01" @default.
- W883190757 modified "2023-09-26" @default.
- W883190757 title "A Method for Producing Reduction Types in the Restricted Lower Predicate Calculus" @default.
- W883190757 doi "https://doi.org/10.1016/s0049-237x(08)71683-5" @default.
- W883190757 hasPublicationYear "1965" @default.
- W883190757 type Work @default.
- W883190757 sameAs 883190757 @default.
- W883190757 citedByCount "0" @default.
- W883190757 crossrefType "book-chapter" @default.
- W883190757 hasAuthorship W883190757A5031520265 @default.
- W883190757 hasAuthorship W883190757A5079604719 @default.
- W883190757 hasConcept C100481476 @default.
- W883190757 hasConcept C111335779 @default.
- W883190757 hasConcept C11413529 @default.
- W883190757 hasConcept C118615104 @default.
- W883190757 hasConcept C135790938 @default.
- W883190757 hasConcept C140146324 @default.
- W883190757 hasConcept C199343813 @default.
- W883190757 hasConcept C199360897 @default.
- W883190757 hasConcept C2524010 @default.
- W883190757 hasConcept C2777686260 @default.
- W883190757 hasConcept C33923547 @default.
- W883190757 hasConcept C41008148 @default.
- W883190757 hasConcept C71924100 @default.
- W883190757 hasConceptScore W883190757C100481476 @default.
- W883190757 hasConceptScore W883190757C111335779 @default.
- W883190757 hasConceptScore W883190757C11413529 @default.
- W883190757 hasConceptScore W883190757C118615104 @default.
- W883190757 hasConceptScore W883190757C135790938 @default.
- W883190757 hasConceptScore W883190757C140146324 @default.
- W883190757 hasConceptScore W883190757C199343813 @default.
- W883190757 hasConceptScore W883190757C199360897 @default.
- W883190757 hasConceptScore W883190757C2524010 @default.
- W883190757 hasConceptScore W883190757C2777686260 @default.
- W883190757 hasConceptScore W883190757C33923547 @default.
- W883190757 hasConceptScore W883190757C41008148 @default.
- W883190757 hasConceptScore W883190757C71924100 @default.
- W883190757 hasLocation W8831907571 @default.
- W883190757 hasOpenAccess W883190757 @default.
- W883190757 hasPrimaryLocation W8831907571 @default.
- W883190757 hasRelatedWork W1581901593 @default.
- W883190757 hasRelatedWork W1606971543 @default.
- W883190757 hasRelatedWork W170797764 @default.
- W883190757 hasRelatedWork W1992629414 @default.
- W883190757 hasRelatedWork W2044156752 @default.
- W883190757 hasRelatedWork W2045354966 @default.
- W883190757 hasRelatedWork W2083679501 @default.
- W883190757 hasRelatedWork W2090144410 @default.
- W883190757 hasRelatedWork W2093865192 @default.
- W883190757 hasRelatedWork W2096975981 @default.
- W883190757 hasRelatedWork W2131663704 @default.
- W883190757 hasRelatedWork W220669002 @default.
- W883190757 hasRelatedWork W2256908423 @default.
- W883190757 hasRelatedWork W2400358329 @default.
- W883190757 hasRelatedWork W273182405 @default.
- W883190757 hasRelatedWork W3132018246 @default.
- W883190757 hasRelatedWork W3145618016 @default.
- W883190757 hasRelatedWork W86320019 @default.
- W883190757 hasRelatedWork W2165596 @default.
- W883190757 hasRelatedWork W2412530041 @default.
- W883190757 isParatext "false" @default.
- W883190757 isRetracted "false" @default.
- W883190757 magId "883190757" @default.
- W883190757 workType "book-chapter" @default.