A roadmap to decidability

DOI10.1007/978-3-319-10193-4_20MaRDI QIDQ5258981zbMATH OpenOpenAlexFDO

Authors João Rasga, Cristina Sernadas, Amílcar Sernadas

Publication date 24 June 2015

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10193-4_20

zbMATH Keywords

decidability of theoriesquantifier elimination

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• A formal quantifier elimination for algebraically closed fields
• scientific article; zbMATH DE number 4039866
• scientific article; zbMATH DE number 4014674
• Alfred Tarski and decidable theories
• scientific article; zbMATH DE number 3935016

Cites work

• A logic for reasoning about probabilities
• A mathematical introduction to logic.
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 5194318 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Linear quantifier elimination
• Model Theory
• Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• Simulation and optimization by quantifier elimination
• Verification and synthesis using real quantifier elimination

Cited in

(2)

• scientific article; zbMATH DE number 4039866 (Why is no real title available?)
• scientific article; zbMATH DE number 2044758 (Why is no real title available?)

This page was built for publication: A roadmap to decidability

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