arXiv1207.4223MaRDI QIDQ6234455
Franz-Viktor Kuhlmann, Koushik Pal
Publication date: 17 July 2012
Mathematics Subject Classification ID
Quantifier elimination, model completeness, and related topics (03C10)