SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics
From International Center for Computational Logic
SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics
Conference
- Start: 6. December 2017 at 9:00 am
- End: 8. December 2017 at 6:00 pm
- Research group: Computational Logic
- Research group: Automata Theory
- Research group: Knowledge Representation and Reasoning
- iCal
Workshop on Second-Order Quantifier Elimination and Related Topics
- More info at: http://2017.soqe.org/
