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