A Roadmap to Decidability
From MaRDI portal
Publication:5258981
DOI10.1007/978-3-319-10193-4_20zbMath1376.03039OpenAlexW73274435MaRDI QIDQ5258981
Amílcar Sernadas, João Rasga, Cristina 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
Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- Linear quantifier elimination
- Simulation and optimization by quantifier elimination
- A logic for reasoning about probabilities
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Model Theory
- Verification and synthesis using real quantifier elimination
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item