Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) (Q113541844)
Jump to navigation
Jump to search
Proceedings of SOQE 2021 workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) |
Proceedings of SOQE 2021 workshop |
Statements
SOQE 2021 (English)
0 references
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) (English)
0 references
14 November 2021
0 references