| Original language | English |
|---|---|
| Publisher | College Publications |
| ISBN (Print) | 978-1-904987-56-7 |
| Publication status | Published - 2008 |
Second-Order Quantifier Elimination
Dov Gabbay, R Schmidt, A Szalas
Research output: Book/Report › Book
2
Citations
(Scopus)