hide
Title:
Second-Order Quantifier Elimination and Related Topics
Abbreviation
:
SOQE 2021
Other
:
SOQE@KR 2021
Subtitle
:
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)
Source Genre:
Proceedings
Creator(s):
Schmidt, Renate A.1, Editor
Wernhard, Christoph1, Editor
Zhao, Yizheng1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
CEUR-WS
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
46 - 58
Identifier:
URN: urn:nbn:de:0074-3009-1