Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)

Schmidt, R. A., Wernhard, C. and Zhao, Y. (eds) (2021)

CEUR Workshop Proceedings, Vol. 3009, CEUR-WS.org. BiBTeX, Proceedings.

This volume contains the papers presented at the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) held on November 4, 2021, due to the pandemic situation as an online event, associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). It continues the SOQE Workshop Series, which was initiated with SOQE 2017 in Dresden.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 22 Jan 22
Copyright © 2021 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk