Formal Reductions of the General Combinatorial Decision Problem
about
An Approach to Automated Fusion System Design and Adaptation.Quantum iterative deepening with an application to the halting problemProbing recursion.When linguists talk mathematical logic.The brain's router: a cortical network model of serial processing in the primate brain.From machine and tape to structure and function: formulation of a reflexively computing system.From Turing machines to computer viruses.Formalism and intuition in computability.Criteria for the design and evaluation of cognitive architectures.Categorization time as independent of the number of condition-action rules.Computability and RecursionThe Central Question in Comparative Syntactic MetatheoryPāṇini's Grammar and Modern ComputationArtificial intelligence and a universal quantum computerA quantum production modelProblem-solving and Quantum ComputationTree search and quantum computationHerbrand semantics, the potential infinite, and ontology-free logic
P2860
Q30359134-6CBF01BE-8AA8-4207-B3DC-EF07E1D88547Q34631678-7D4C8723-73FC-41A9-8B41-28515E42957CQ38210959-E034C054-849C-45B4-B7D5-B5AFB5775A2FQ39851924-4690181C-D0CE-400D-995C-4F8294203464Q40265495-247B11EA-5474-471A-B439-C6D596F0D173Q47322800-93F3BCF3-19DB-451E-9AE5-28C3222A2A3EQ51353374-DB591C2B-8001-4A4C-9E24-FA5EBA9AB86FQ51353381-3F52ED2A-BD97-47E4-90F9-54966E12F8DCQ51541534-D6A5449C-C332-427F-B58A-4DE682521B22Q52090314-105BD274-B2B8-48CC-9BF8-BC8303308CB8Q55890014-2D867F5C-30E7-43DD-83F5-B3F0954B78A2Q56156277-97E4A30A-0E88-4BD0-89FF-658261102EC6Q57669730-2B0F6F8F-F00F-4339-BCA3-9FCC0B75C970Q57696145-6A115539-B9C6-4788-B282-D74DB068C275Q57696188-9595544C-08D6-4F4F-A80B-5BA2055FC86BQ57696201-BFF7A1D3-4F29-405B-8C6A-988FC1D8674CQ57696207-265461CB-98C5-4888-ACDF-908CF13CE3E0Q58517916-1C91EDCE-747E-43C0-81D5-B4E845E7469E
P2860
Formal Reductions of the General Combinatorial Decision Problem
description
im April 1943 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована у квітні 1943
@uk
name
Formal Reductions of the General Combinatorial Decision Problem
@en
Formal Reductions of the General Combinatorial Decision Problem
@nl
type
label
Formal Reductions of the General Combinatorial Decision Problem
@en
Formal Reductions of the General Combinatorial Decision Problem
@nl
prefLabel
Formal Reductions of the General Combinatorial Decision Problem
@en
Formal Reductions of the General Combinatorial Decision Problem
@nl
P356
P1476
Formal Reductions of the General Combinatorial Decision Problem
@en
P356
10.2307/2371809
P577
1943-04-01T00:00:00Z