scientific article; zbMATH DE number 8775

zbMATH Open0770.03004MaRDI QIDQ3971263FDOQ3971263

Authors Yuri Gurevich 

Publication date 25 June 1992

zbMATH Keywords

complete solutionreduction classesEntscheidungsproblemsurvey of the classical decision problem

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Decidability of theories and sets of sentences (03B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• The classical decision problem.
• Publication:4942004
• Decision problems and recursiveness in formal logic systems
• scientific article; zbMATH DE number 965572

Cited In (3)

• Title not available (Why is no real title available?)
• Decision problems and recursiveness in formal logic systems
• The classical decision problem.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971263)