SOQE 2017 - Second-Order Quantifier Elimination and Related Topics: Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017) Dresden, Germany, December 6-8, 2017
Research output: Book/Conference proceeding/Anthology/Report › Conference proceeding › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Place of Publication | Aachen |
| Publisher | RTWH Aachen |
| Publication status | Published - 2017 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR workshop proceedings |
|---|---|
| Volume | vol-2013 |
Workshop
| Title | 1st Workshop on Second-Order Quantifier Elimination and Related Topics |
|---|---|
| Abbreviated title | SOQE 2017 |
| Conference number | 1 |
| Duration | 6 - 8 December 2017 |
| Website | |
| Degree of recognition | International event |
| Location | Technische Universität Dresden |
| City | Dresden |
| Country | Germany |
External IDs
| urn | urn:nbn:de:0074-2013-7 |
|---|