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.

n

Ruba Alassaf, Renate A. Schmidt, Uli Sattler. n. In 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, pages 15-27, CEUR-WS.org, 2021. [doi]

Authors

Ruba Alassaf

This author has not been identified. Look up 'Ruba Alassaf' in Google

Renate A. Schmidt

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

Uli Sattler

This author has not been identified. Look up 'Uli Sattler' in Google
runs on