Workshop on Second-Order Quantifier Elimination and Related Topics (Q113614926)
Jump to navigation
Jump to search
academic workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Workshop on Second-Order Quantifier Elimination and Related Topics |
academic workshop |
Statements
SOQE 2017 (English)
0 references
Workshop on Second-Order Quantifier Elimination and Related Topics (English)
0 references