scientific article; zbMATH DE number 1089735

zbMATH Open0917.14031MaRDI QIDQ4366289FDOQ4366289

Ludovico Pernazza

Publication date: 19 November 1997

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

zbMATH Keywords

decidabilityseparating semialgebraic sets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Semialgebraic sets and related spaces (14P10)

Cited In (1)

• Deciding separability with a fixed error

   Recommendations

• Title not available (Why is that?) 👍 👎
• Hausdorff separations and decidability 👍 👎
• On reduction of the decision problem of recursively enumerable sets to the separability problem 👍 👎
• Decidability of affine solution problems 👍 👎
• On the complexity of polyhedral separability 👍 👎
• Approximate decidability in euclidean spaces 👍 👎
• Title not available (Why is that?) 👍 👎
• Decidability in elementary analysis. II 👍 👎
• Decidability results for the boundedness problem 👍 👎
• Decidability of the Membership Problem for 2 × 2 integer matrices 👍 👎

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 Q4366289)