Local quantifier elimination
From MaRDI portal
Publication:3454748
DOI10.1145/345542.345589zbMath1326.68350MaRDI 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
68W30: Symbolic computation and algebraic computation
03C10: Quantifier elimination, model completeness, and related topics
Related Items