scientific article; zbMATH DE number 8775

zbMATH Open0770.03004MaRDI QIDQ3971263

Yuri Gurevich

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

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) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25)

Related Items (1)

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)