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.

An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract)

Stefan Hetzl, Johannes Kloibhofer. An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). 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 59-60, CEUR-WS.org, 2021. [doi]

Authors

Stefan Hetzl

This author has not been identified. Look up 'Stefan Hetzl' in Google

Johannes Kloibhofer

This author has not been identified. Look up 'Johannes Kloibhofer' in Google
runs on