Local quantifier elimination
From MaRDI portal
Publication:3454748
DOI10.1145/345542.345589zbMath1326.68350OpenAlexW2035631589MaRDI QIDQ3454748
Andreas Dolzmann, Volker Weispfenning
Publication date: 26 November 2015
Published in: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/345542.345589
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication: Local quantifier elimination