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