External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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), Online Event, November 4, 2021

Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao, editors, 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), Online Event, November 4, 2021. Volume 3009 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Conference: kr2021

Editors

Renate A. Schmidt

This author has not been identified. Look up 'Renate A. Schmidt' in Google

Christoph Wernhard

This author has not been identified. Look up 'Christoph Wernhard' in Google

Yizheng Zhao

This author has not been identified. Look up 'Yizheng Zhao' in Google
runs on